A computational logic /

Bibliographic Details
Main Authors:	Boyer, Robert S., Moore, J Strother, 1947- (Author)
Corporate Author:	ScienceDirect (Online service)
Format:	eBook
Language:	English
Language Notes:	English.
Published:	New York : Academic Press, ©1979.
Series:	ACM monograph series.
Subjects:	Automatic theorem proving. Théorèmes > Démonstration automatique. MATHEMATICS > General. Automatic theorem proving Automatisches Beweisverfahren MATHEMATICAL LOGIC. THEOREM PROVING. Logic, Symbolic and mathematical. Logique informatique. Electronic books.
Online Access:	Connect to the full text of this electronic book

by Boyer, Robert S.
Published 1979

Book