Shelfclass_id |
4.B.1 |
Sortkey |
RAMSAY, ALLAN |
Authors |
Allan Ramsay |
Title |
Formal Methods in Artificial Intelligence |
Publisher |
Cambridge University Press |
Year |
1988 |
Languages |
eng |
Isbn |
0521424216 |
Series |
Cambridge tracts in theoretical computer science |
Volume |
6 |
Description |
ix, 279 p. ill. 26 cm |
Record date |
20060713 |
Location |
New York |
Keywords |
Artificial intelligence, Logic, Symbolic and mathematical, Reasoning |
Notes |
Includes index |
Urlnote |
Table of contents |
Urls |
http://www.loc.gov/catdir/toc/cam029/88009524.html |