| Shelfclass_id | 4.B.3 |
| Sortkey | CAFERRA, RICARDO |
| Authors | Ricardo Caferra, Gernot Salzer |
| Title | Automated Deduction in Classical and Non-Classical Logics: Selected Papers |
| Publisher | Springer-Verlag |
| Year | 2000 |
| Languages | eng |
| Isbn | 3540671900 |
| Series | Lecture Notes in Computer Science Lecture Notes in Artificial Intelligence |
| Volume | 1761 |
| Issn | 0302-9743 |
| Description | (softcover: alk. paper) viii, 297 p. ill. 23 cm. |
| Record date | 20061027 |
| Location | New York |
| Keywords | Automatic theorem proving, Logic, Symbolic and mathematical |