A computational logic handbook /

Bibliographic Details
Main Author:	Boyer, Robert S.
Corporate Author:	ScienceDirect (Online service)
Other Authors:	Moore, J Strother, 1947-
Format:	eBook
Language:	English
Published:	Boston : Academic Press, ©1988.
Series:	Perspectives in computing (Boston, Mass.) ; vol. 23.
Subjects:	Automatic theorem proving. Logic, Symbolic and mathematical. Théorèmes > Démonstration automatique. Logique symbolique et mathématique. Automatic theorem proving Logic, Symbolic and mathematical Mathematische Logik Logica. Automatische bewijsvoering. Electronic books.
Online Access:	Connect to the full text of this electronic book

Available Online