Cartesian Reflections
John Cottingham
Model Driven Architecture and Ontology Development
Dragan Gasevic & Dragan Djuric & Vladan Devedzic & Bran V. Selic
The Ontological and Psychological Constitution of Christ
Bernard J. F. Lonergan & Frederick E. Crowe & Robert M. Doran
Elsevier's Dictionary of Acronyms, Initialisms, Abbreviations ...
Fioretta. Benedetto Mattia
Encyclopedia of Addictions
Kathryn H. Hollen
Natural Language Processing and Chinese Computing: 8th CCF International ...
Jie Tang & Min-Yen Kan & Dongyan Zhao & Sujian Li & Hongying Zan
Philosophical and Mathematical Logic
Harrie de Swart
Natural Language and Information Systems: 13th International ...
Vijayan Sugumaran
Natural Language Processing – IJCNLP 2004: First International ...
Keh-Yih Su & Jun'Ichi Tsujii & Jong-Hyeok Lee & Oi Yee Kwong
Algebraic Number Theory and Fermat's Last Theorem 4th Edition
Ian Nicholas Stewart & David Orme Tall
Calculated Bets: Computers, Gambling, and Mathematical Modeling ...
Steven S. Skiena
Metamathematics, Machines and Gödel's Proof
N. Shankar
Advances in Natural Language Processing: 5th International Conference, ...
Tapio Salakoski & Filip Ginter & Sampo Pyysalo & Tapio Pahikkala
Lecture Notes in Computer Science (4139)
Knowledge Engineering and Semantic Web: 8th International Conference, ...
Przemysław Różewski & Christoph Lange
Controlled Natural Language: Second International Workshop, ...
Michael Rosner & Norbert E Fuchs
Handbook of Discrete and Combinatorial Mathematics, Second Edition
Kenneth H. Rosen
Advances in Natural Language Processing: Third International ...
Elisabete Ranchod & Nuno J. Mamede
Advances in Natural Language Processing: 9th International Conference ...
Adam Przepiórkowski & Maciej Ogrodniczuk
Mathematical Logic and Model Theory: A Brief Introduction
Alexander Prestel & Charles Delzell
Logic Programming and Knowledge Representation: Third International ...
Luis Moniz Pereira & Teodor C. Przymusinski
DNA Computing: New Computing Paradigms
Gheorghe Paun & Grzegorz Rozenberg & Arto Salomaa
Systemic Text Generation as Problem Solving
Terry Patten
Advances in Natural Language Processing: 6th International Conference, ...
Bengt Nordstrom & Bengt Nordström & Aarne Ranta