A many-sorted calculus based on resolution and paramodulation
By: Christoph Walther.
Series: Research notes in artificial intelligence,; Research notes in artificial intelligence (London, England)
Publisher: Pitman; Morgan Kaufmann Publishers
Published: 1987
Place of publication: London; Los Altos, Calif
Language: eng; ger
Number of pages: 160
Subjects: Automatic theorem proving.; Artificial intelligence.
Notes: Bibliography: p. 154-160.
Revised translation of thesis (doctoral)--University of Karlsruhe, 1984.