Three Views of Logic: Mathematics, Philosophy, and Computer ...
Donald W. Loveland & Richard E. Hodel & S. G. Sterrett
Realms of the Prophetic
Naim Collins
The Fair Tax Book: Saying Goodbye to the Income Tax and the ...
Neal Boortz
Mental Chemistry
Charles F. Haanel
Molecular Physical Chemistry - A Computer-based Approach using ...
José J. C. Teixeira-Dias
Knowledge Representation and Language in AI
Jonathan P. E. Hodgson
Computational Linguistics
Kôiti Hasida & Win Pa Pa
On Linguistic Formulas for Knowledge Representation
Inger Bierschenk
On Linguistics Formulas for Knowledge Representation - Paper
Natural Language at the Computer Scientific Symposium on Syntax ...
D. Barstow & W, Brauer & P. Brinch Hansen D & Gries D, Luckham & C, Moler & A. Pnueli G. & Seegmiiller J. Stoer & N. Wirth