Shelfclass_id |
4.A |
Sortkey |
FAPR |
Authors |
Dov M. Gabbay, Hans J. Ohlbach |
Title |
FAPR '96: Practical Reasoning: International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996: proceedings |
Publisher |
Springer-Verlag |
Year |
c1996 |
Languages |
eng |
Isbn |
3540613137 |
Series |
Lecture Notes in Computer Science Lecture Notes in Artificial Intelligence |
Volume |
1085 |
Issn |
0302-9743 |
Description |
(alk. paper) xv, 719 p. ill. 24 cm |
Record date |
20060710 |
Location |
New York |
Keywords |
Automatic theorem proving, Reasoning, Artificial intelligence |