Language
-
Rule-Based Programming -
The Springer International Series in Engineering and Computer Science: Tools, Translators and Language Implementation -
Object Orientation with Parallelism and Persistence -
The Springer International Series in Engineering and Computer Science -
Memory Performance of Prolog Architectures -
Objects for Concurrent Constraint Programming -
The Springer International Series in Engineering and Computer Science -
The Springer International Series in Engineering and Computer Science: Cluster and Grid Computing -
Monographs in Computer Science -
Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic -
Logic, Thought and Action -
Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic -
Games: Unifying Logic, Language, and Philosophy -
Unity, Truth and the Liar: The Modern Relevance of Medieval Solutions to the Liar Paradox -
Games: Unifying Logic, Language, and Philosophy -
Unity, Truth and the Liar: The Modern Relevance of Medieval Solutions to the Liar Paradox -
Logic, Thought and Action -
Discrete Event Systems: Models and Applications IIASA Conference Sopron, Hungary, August 3–7, 1987 -
What is Philosophy? -
What is Philosophy? -
Applying Cognitive Linguistics to Second Language Learning and Teaching -
The New Middle Ages -
The New Middle Ages -
The New Middle Ages: Words in the Absence of Things
