Open AccessA tutorial on the construction of high-performance resolution/paramodulation systems
Author(s) -
Ralph Butler,
Ross Overbeek
Publication year - 1990
Language(s) - English
Resource type - Reports
DOI - 10.2172/6569195
Subject(s) - computer science , resolution (logic) , programming language , writing system , software engineering , linguistics , philosophy