There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and book information

Book Chapter

Publication date (Print): 2001

Pages: 19-99

DOI: 10.1016/B978-044450813-3/50004-7

SO-VID: 0cd1d765-3590-4029-b031-a0dc5c04b97e

License:

https://www.elsevier.com/tdm/userlicense/1.0/

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 41

The Incredible ELK
Authors: Frantisek Simancík, Markus Krötzsch, Yevgeny Kazakov
Reasoning on UML class diagrams
Authors: Giuseppe De Giacomo, Diego Calvanese, Daniela Berardi
MetiTarski: An Automatic Theorem Prover for Real-Valued Special Functions
Authors: Lawrence Paulson, Behzad Akbarpour

See all cited by

Resolution Theorem Proving

Read this book at