Building Large Knowledge-Based Systems: Representation and Inference ...
Douglas B. Lenat & R. V. Guha
Systematic Atheology: Atheism's Reasoning With Theology
John R. Shook
Java EE 7 Recipes: A Problem-Solution Approach
Josh Juneau
The Future of Post-Human Mathematical Logic
Peter Baofu
Formalized Music: Thought and Mathematics in Composition
Iannis Xenakis
Qualitative Research in Practice: Stories From the Field
Yvonne Darlington & Dorothy Scott
Natural Language Processing in the 1980s: A Bibliography
Gerald Gazdar & Robert Evans & Alex Franz & Karen Osborn