scientific article; zbMATH DE number 1765677

MaRDI QIDQ4539614zbMATH OpenFDO

Authors Michael Beeson

Publication date 10 July 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2083/20830318

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 4106292
• A circumscriptive theorem prover
• scientific article; zbMATH DE number 4164169
• Circumscription within monotonic inferences
• scientific article; zbMATH DE number 1189101

Cited in

(7)

• A circumscriptive theorem prover
• SET-VAR
• scientific article; zbMATH DE number 4164169 (Why is no real title available?)
• scientific article; zbMATH DE number 4106292 (Why is no real title available?)
• scientific article; zbMATH DE number 1341622 (Why is no real title available?)
• How to prove decidability of equational theories with second-order computation analyser SOL
• On first-order theorem proving using generalized odd-superpositions II

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4539614)