A many-sorted calculus based on resolution and paramodulation /

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.