12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Tuesday April 01, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Essays/Prospects For Inquiry Driven Systems (view source)
Revision as of 17:20, 28 January 2008
, 17:20, 28 January 2008→C: markup
Line 1,054:
Line 1,054:
'Symbolic Logic and Mechanical Theorem Proving',
− Academic Press, New York, NY, 1973.
− 'Introduction to Artificial Intelligence',
− Addison-Wesley, Reading, MA, 1985.
− 'Artificial Intelligence Programming',
− Lawrence Erlbaum Associates, Hillsdale, NJ, 1980.
− 'Theory of Lie Groups',
− Princeton University Press, Princeton, NJ, 1946.
− 'On Numbers and Games',
− Academic Press, London, UK, 1976.
===C===
===C===
−* Chang, C. & Lee, R.C.,
+* Chang, C., and Lee, R.C., ''Symbolic Logic and Mechanical Theorem Proving'', Academic Press, New York, NY, 1973.
−* Charniak, E. & McDermott, D.V.,
+* Charniak, E., and McDermott, D.V., ''Introduction to Artificial Intelligence'', Addison-Wesley, Reading, MA, 1985.
−* Charniak, E., Riesbeck, C.K., & McDermott, D.V.,
+* Charniak, E., Riesbeck, C.K., and McDermott, D.V., ''Artificial Intelligence Programming'', Lawrence Erlbaum Associates, Hillsdale, NJ, 1980.
−* Chevalley, C.,
+* Chevalley, C., ''Theory of Lie Groups'', Princeton University Press, Princeton, NJ, 1946.
−* Conway, J.H.,
+* Conway, J.H., ''On Numbers and Games'', Academic Press, London, UK, 1976.
−===D===
===D===
