Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1761)
Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)
Included in the following conference series:
Conference proceedings info: FTP 1998.
Access this book
We’re sorry, something doesn't seem to be working properly.
Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.
Other ways to access
Table of contents (19 papers)
-
Invited Papers
-
Contributed Papers
Other volumes
-
Automated Deduction in Classical and Non-Classical Logics
Keywords
Editors and Affiliations
Bibliographic Information
Book Title: Automated Deduction in Classical and Non-Classical Logics
Book Subtitle: Selected Papers
Editors: Ricardo Caferra, Gernot Salzer
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-46508-1
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 2000
Softcover ISBN: 978-3-540-67190-9Published: 09 February 2000
eBook ISBN: 978-3-540-46508-9Published: 31 July 2003
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: VIII, 304
Topics: Artificial Intelligence, Mathematical Logic and Formal Languages, Logics and Meanings of Programs