Building Large Knowledge-Based Systems: Representation and Inference ...
Douglas B. Lenat & R. V. Guha
Scientists in Search of Their Conscience: Proceedings of a Symposium ...
Anthony R. Michaelis & Hugh Harvey
Russell, Idealism, and the Emergence of Analytic Philosophy
Peter Hylton
Higher-Order Algebra, Logic, and Term Rewriting: First International ...
Jan Heering & Karl Meinke & Bernhard Möller & Tobias Nipkow
An Introduction to Koranic and Classical Arabic: An Elementary ...
Wheeler McIntosh Thackston
Optical Computing
F.a.p Tooley & B.s Wherrett
Secure Edge Computing; Applications, Techniques and Challenges
Mohiuddin Ahmed & Paul Haskell-Dowland