Formal methods in artificial intelligence/

Ramsay, Allan

Formal methods in artificial intelligence/ Allan Ramsay - Cambridge Cambridge University press 1988 - ix, 279p.

9 780521 352369


Artificial intelligence - Methodology.
Logic, symbolic and mathematical.
Reasoning.

004.383 8 RAM

University Library
Cochin University of Science and Technology
Kochi-682 022, Kerala, India