Cover Image

A many-sorted calculus based on resolution and paramodulation /

Show other versions (1)
Bibliographic Details
Main Author: Walther, Christoph
Format: Book
Language:English
German
Published: London : Los Altos, Calif. : Pitman ; Morgan Kaufmann Publishers, 1987.
Series:Research notes in artificial intelligence (London, England)
Subjects:
Automatic theorem proving.
Artificial intelligence.
Description
Item Description:Revised translation of thesis (doctoral)--University of Karlsruhe, 1984.
Physical Description:160 pages : illustrations ; 25 cm.
Bibliography:Bibliography: pages 154-160.
ISBN:0934613494 (Morgan Kaufmann : pbk.) :
ISSN:0268-7526