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

Most cited references 14

Record: found
Abstract: not found
Article: not found

The TPTP Problem Library and Associated Infrastructure

Geoff Sutcliffe (2009)

0 comments Cited 75 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

SPASS Version 3.5

Christoph Weidenbach, Dilyana Dimova, Arnaud Fietzke … (2009)

0 comments Cited 24 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

iProver – An Instantiation-Based Theorem Prover for First-Order Logic (System Description)

Konstantin Korovin (2008)

0 comments Cited 17 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2011

Pages: 162-176

DOI: 10.1007/978-3-642-22438-6_14

SO-VID: 0c0eeebe-7e52-44f3-b926-e94e7a855759

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 4

See all cited by

Experimenting with Deduction Modulo

Read this book at

Related collections

ScienceOpen Research

Most cited references 14

The TPTP Problem Library and Associated Infrastructure

SPASS Version 3.5

iProver – An Instantiation-Based Theorem Prover for First-Order Logic (System Description)

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 1,502

Cited by 4