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 7

Record: found
Abstract: not found
Article: not found

Rippling: A heuristic for guiding inductive proofs

Andrew J Stevens, Andrew Ireland, Frank van Harmelen … (1993)

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

Bookmark

Record: found
Abstract: not found
Article: not found

Productive use of failure in inductive proof

Andrew Ireland, Alan Bundy, A. Ireland … (1996)

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

Bookmark

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

The OYSTER-CLAM system

Alan Bundy, Frank van Harmelen, Christian Horn … (1990)

0 comments Cited 9 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 1998

Publication date (Online): May 25 2006

Pages: 129-133

DOI: 10.1007/BFb0054254

SO-VID: 59fd3df6-278f-4235-b73d-211800ab2f70

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 4

See all cited by

System description: Proof planning in higher-order logic with λClam

Read this book at

Related collections

Town Planning Review: COVID-19 Viewpoint Series

Most cited references 7

Rippling: A heuristic for guiding inductive proofs

Productive use of failure in inductive proof

The OYSTER-CLAM system

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 1,070

Cited by 4