2909 search results - page 126 / 582 » Consistency of the theory of contexts |
128
click to vote
IADIS
2004
15 years 7 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...
171
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...
147
click to vote
ECIS
2001
15 years 7 months ago
2001
There are many data modelling languages used in today's information systems engineering environment. Some of the data modelling languages used have a degree of hype surroundi...
153
click to vote
ICFCA
2007
Springer
16 years 15 days ago
2007
Springer
Pseudo-intents (also called pseudo-closed sets) of formal contexts have gained interest in recent years, since this notion is helpful for finding minimal representations of impli...
149
click to vote
TYPES
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. We propose syntax and semantics for systems of intuitionistic and classical first order dependently sorted logic, with and withlity, retaining type dependency, but other...