Combining formal derivation search procedures and natural theorem proving techniques in an automated theorem proving system

From MaRDI portal

(Redirected from Combining formal derivation search procedures and natural theorem proving techniques in an automated theorem proving system)

Jump to:navigation, search

WARNING: Page is not linked to a MaRDI-Entity. Please add Sitelink / Wikibase-link.

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Combining_formal_derivation_search_procedures_and_natural_theorem_proving_techniques_in_an_automated_theorem_proving_system&oldid=70976550"