Return to search

An improved theorem prover by using the semantics of structure

Call number: LD2668 .T4 1985 J63 / Master of Science

Identiferoai:union.ndltd.org:KSU/oai:krex.k-state.edu:2097/27463
Date January 1985
CreatorsJohnson, Donald Gordon.
Source SetsK-State Research Exchange
Detected LanguageEnglish
TypeText

Page generated in 0.0018 seconds