Searching for authors named "Han Reichgelt" – sorted by Relevance.
6 documents found, showing 1 through 6.
-
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
Showing 1 through 6.
