DOE OSTI · 1444892
Maximal Models and Refuation Completeness: Semidecision Procedures in Automatic Theorem Proving
Abstract
The source did not provide an abstract. Follow the original record for more information.
Keep this discovery
Explore connections, maps & timelines
Wos, L.. 2018-06-13. Maximal Models and Refuation Completeness: Semidecision Procedures in Automatic Theorem Proving. https://www.osti.gov/biblio/1444892
Cite the original work for its findings. Save a collection to share your selection of sources.