Implementing Automated Software Testing
Neha Kaul
Mathematical Foundations of Game Theory
Rida Laraki & Jérôme Renault & Sylvain Sorin
Universitext (1)
The Oxford Handbook of Jurisprudence and Philosophy of Law
Scott J. Shapiro & Jules L. Coleman & Kenneth Einar Himma
The Entire Project Gutenberg Works of Mark Twain
Mark Twain
Myths and Symbols in Indian Art and Civilization
Heinrich Robert Zimmer
The Cambridge Translations of Medieval Philosophical Texts: ...
Norman Kretzmann & Eleonore Stump
Socratic Logic: A Logic Text using Socratic Method, Platonic ...
Peter J. Kreeft
The Proof Is in the Pudding: The Changing Nature of Mathematical ...
Steven G. Krantz
Mathematical Logic: On Numbers, Sets, Structures, and Symmetry
Roman Kossak
Mathematical Linguistics
Andras Kornai
Natural Language Processing and Information Systems: 11th International ...
Christian Kop & Günther Fliedl & Heinrich C. Mayr & Elisabeth Métais
Model Generation for Natural Language Interpretation and Analysis
Karsten Konrad
Fuzzy Sets and Fuzzy Logic: Theory and Applications
George J. Klir & Bo Yuan
Gödel, Tarski and the Lure of Natural Language: Logical Entanglement, ...
Juliette Kennedy
The Art of Reasoning: An Introduction to Logic and Critical ...
David Kelley
Boolean Semantics for Natural Language
Edward L. Keenan & L. M. Faltz
Natural Language Processing and Information Systems: 12th International ...
Zoubida Kedad & Nadira Lammari & Elisabeth Métais & Farid Meziane & Yacine Rezgui
The Mathematics of Logic: A Guide to Completeness Theorems and ...
Richard W. Kaye
Category Theory: Applications to Algebra, Logic and Topology. ...
K. H. Kamps & D. Pumplün & W. Tholen
A Modern Perspective on Type Theory: From Its Origins Until ...
F. D. Kamareddine & T. Laan & Rob Nederpelt
Mathematics and Logic
Mark Kac & Stanislaw M. Ulam