Graduate studies at Western
|Abstract||• Lisp programs are Lisp data—abstract syntax. Programming languages need functions for their abstract • English is important for its semantics—not its syntax • The largest piece of cake—Kleene µ operator • An elephant never forgets and is faithful. • Resolution considered harmful. • Special provers are just strategies—Davis-Putnam • Programs as logical formulas—Algol 48 and Algol..|
|Keywords||No keywords specified (fix it)|
No categories specified
(categorize this paper)
|Through your library||Only published papers are available at libraries|
Similar books and articles
Peter Hucklenbroich (1988). Problems of Nomenclature and Classification in Medical Expert Systems. Theoretical Medicine and Bioethics 9 (2).
W. B. Stanford (1942). Alcibiades' Lisp. The Classical Review 56 (02):72-.
André Gorz (1959). The Traitor. New York, Simon and Schuster.
Stevan Harnad (1992). Virtual Symposium on Virtual Mind. Minds and Machines 2 (3):217-238.
Patrick Hayes, Stevan Harnad, Donald R. Perlis & Ned Block (1992). Virtual Symposium on Virtual Mind. 2 (3):217-238.
Added to index2010-12-22
Total downloads4 ( #189,406 of 741,392 )
Recent downloads (6 months)1 ( #61,802 of 741,392 )
How can I increase my downloads?