Changes

===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.

  '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.

  '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.

  'Artificial Intelligence Programming',

    Lawrence Erlbaum Associates, Hillsdale, NJ, 1980.

* Chevalley, C.,

* Chevalley, C., ''Theory of Lie Groups'', Princeton University Press, Princeton, NJ, 1946.

  '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.

  'On Numbers and Games',

    Academic Press, London, UK, 1976.

===D===

===D===