Deduction systems in artificial intelligence /

Bibliographic Details
Uniform Title:	Deduktionssysteme.
Other Authors:	Bläsius, K. H. (Karl Hans), Bürckert, H.-J. (Hans-Jürgen)
Format:	Book
Language:	English
Published:	Chichester : New York : Ellis Horwood ; Halsted Press, 1989.
Series:	Ellis Horwood series in artificial intelligence.
Subjects:	Automatic theorem proving. Artificial intelligence. Artificial intelligence > Applications of deductive logic

Remote Storage