scientific article; zbMATH DE number 1765689

zbMATH Open0988.68603MaRDI QIDQ4539629FDOQ4539629

Authors: Kahlil Hodgson, John K. Slaney 

Publication date: 10 July 2002

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

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 1809864
• scientific article; zbMATH DE number 1140676
• System description: E 1.8
• SETHEO: A high-performance theorem prover
• Semantic Guidance for Saturation Provers

Mathematics Subject Classification ID

Cited In (3)

• SCOTT
• Title not available (Why is that?)
• Semantic Guidance for Saturation Provers

Uses Software

• OTTER

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 Q4539629)