Sciweavers

Share
SPIRE
1999
Springer
9 years 1 months ago
Developing a Tool to Assist Electronic Facilitation of Decision-Making Groups
One resource playing a critical role in electronically supported decision-making groups is the facilitator. Facilitation is a complex task, encompassing social abilities, pre-meet...
Tania Ho, Pedro Antunes
CADE
2003
Springer
9 years 9 months ago
Algorithms for Ordinal Arithmetic
Ordinals form the basis for termination proofs in ACL2. Currently, ACL2 uses a rather inefficient representation for the ordinals up to 0 and provides limited support for reasoning...
Panagiotis Manolios, Daron Vroon
books