Searching for authors named "Han Reichgelt" – sorted by Relevance.
-
A general proof method for first-order modal logic
- A GENERAL PROOF METHOD FOR FIRST-ORDER MODAL LOGIC PETER JACKSON & HAN REICHGELT DEPARTMENT
- Cited by 10 (0 self) – Add To MetaCart
-
The Token Reification Approach to Temporal Reasoning
- Research Council (CSIC) Campus UAB, 08193 Bellaterra, Catalonia, Spain vila@(email omitted); Han Reichgelt
- Cited by 13 (6 self) – Add To MetaCart
-
Towards a Semantics of Desires
- Towards a Semantics of Desires George Kiss HCRL The Open University Milton Keynes England Han
- Cited by 16 (0 self) – Add To MetaCart
-
A comparison of baccalaureate programs in information technology with baccalaureate programs in computer science and information systems
- in Information Technology with Baccalaureate Programs in Computer Science and Information Systems Han Reichgelt
- Cited by 4 (0 self) – Add To MetaCart
-
Implementing the IT fundamentals knowledge area
- of the IT Fundamentals Knowledge Area in an Introductory IT Course Cheryl Aasheim, Choong Kwon Lee, and Han Reichgelt
- Cited by 2 (0 self) – Add To MetaCart
-
VITAL Knowledge Representation Language Specification
- , Kieron O'Hara 2 , Juha Kuusela 3 , Hannu Toivonen 3 , Han Reichgelt 2 , Stuart Watt 1 , Stuart
- Cited by 3 (1 self) – Add To MetaCart

