Lecture Notes in Artificial Intelligence
© 2005
Automated Deduction – CADE-20
20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
Editors: Nieuwenhuis, Robert (Ed.)
Free PreviewBuy this book
- Table of contents (33 chapters)
-
-
What Do We Know When We Know That a Theory Is Consistent?
Pages 1-6
-
Reflecting Proofs in First-Order Logic with Equality
Pages 7-22
-
Reasoning in Extensional Type Theory with Equality
Pages 23-37
-
Nominal Techniques in Isabelle/HOL
Pages 38-53
-
Tabling for Higher-Order Logic Programming
Pages 54-68
-
Table of contents (33 chapters)
Recommended for you

Bibliographic Information
- Bibliographic Information
-
- Book Title
- Automated Deduction – CADE-20
- Book Subtitle
- 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
- Editors
-
- Robert Nieuwenhuis
- Series Title
- Lecture Notes in Artificial Intelligence
- Series Volume
- 3632
- Copyright
- 2005
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-540-31864-4
- DOI
- 10.1007/11532231
- Softcover ISBN
- 978-3-540-28005-7
- Edition Number
- 1
- Number of Pages
- XIV, 466
- Topics