3571 search results - page 234 / 715 » Cohen and Set Theory |
132
click to vote
IADIS
2004
15 years 8 months ago
2004
E-Cases is an innovative approach to management development. Traditional case studies typically describe a decision or a problem in a real-life setting. E-Cases encourage students...
191
click to vote
AAAI
1996
15 years 8 months ago
1996
The representation of narratives of actions and observations is a current issue in Knowledge Representation, where traditional plan-oriented treatments of action seem to fall shor...
182
click to vote
CSL
2010
Springer
15 years 7 months ago
2010
Springer
By a Euclidean logic, we understand a formal language whose variables range over subsets of Euclidean space, of some fixed dimension, and whose non-logical primitives have fixed me...
210
click to vote
ENTCS
2006
15 years 6 months ago
2006
In this paper we introduce a new approach to formalizing certain type operations in type theory. Traditionally, many type constructors in type theory are independently axiomatized...
183
click to vote
ETS
2000
IEEE
15 years 6 months ago
2000
IEEE
What is the nature of instructional design? Is instructional design merely the practical application of learning theories to learning situations? What elements form the building b...