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 13

Record: found
Abstract: not found
Article: not found

Seventy-five problems for testing automatic theorem provers

Francis Pelletier (1986)

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

Bookmark

Record: found
Abstract: not found
Article: not found

Non-Horn clause logic programming without contrapositives

DavidA. Plaisted (1988)

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

Bookmark

Record: found
Abstract: not found
Article: not found

Set theory in first-order logic: Clauses for Gödel's axioms

Robert BOYER, Ewing “Rusty” Lusk, William McCune … (1986)

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

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 1994

Publication date (Online): May 30 2005

Pages: 252-266

DOI: 10.1007/3-540-58156-1_18

SO-VID: e5a092c0-f8d6-4961-9636-8c88452be144

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 6

See all cited by

The TPTP problem library

Read this book at

Related collections

Open Library of Humanities

Most cited references 13

Seventy-five problems for testing automatic theorem provers

Non-Horn clause logic programming without contrapositives

Set theory in first-order logic: Clauses for Gödel's axioms

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 1,430

Cited by 6