Relative complexities of first order calculi
By: Elmar Eder.
Series: Artificial intelligence =; Künstliche Intelligenz,; Artificial intelligence (Braunschweig, Germany)
Publisher: Vieweg
Published: 1992
Place of publication: Braunschweig/Wiesbaden
Language: eng
Number of pages: 173
Subjects: Automatic theorem proving.; Artificial intelligence.
Other titles: First order calculi.
Notes: Includes bibliographical references (p. [162]-167) and index.