Shelfclass_id |
4.B.3 |
Sortkey |
TABLEAUX |
Authors |
P. Miglioli, U. Moscato, D. Mandici, M. Ornaghi |
Title |
TABLEAUX 1996: Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, 15-17, 1996: proceedings |
Publisher |
Springer-Verlag |
Year |
c1996 |
Languages |
eng |
Isbn |
3540612084 |
Series |
Lecture Notes in Computer Science Lecture Notes in Artificial Intelligence |
Volume |
1071 |
Issn |
0302-9743 |
Description |
35 x, 329 p. ill. 24 cm |
Record date |
20060824 |
Location |
New York |
Keywords |
Mathematical logic, Proof theory, Automated reasoning, Formal logic, Automatic theorem proving, Nonclassical mathematical logic, Logic, Symbolic and mathematical, Proof theory (Mathematics) |