Deduction :
automated logic /
by Wolfgang Bibel ; with the assistance of Steffen Hölldobler and exercises by Gerd Neugebauer ; translated by Monika Lekuse with the assistance of Donald Sannella.

Description

Tools

Cite this Export citation file
Main Author
Bibel, W., 1938-
Related Names
Neugebauer, Gerd.
Hölldobler, Steffen, 1957-
Language(s)
English
Published
London ; Academic Press, c1993.
Subjects
Logic, Symbolic and mathematical.
Automatic theorem proving.
Physical Description
253 p. : ill. ; 24 cm.
ISBN
012095835X
Locate a Print Version
Find in a library

Viewability

Item Link Original Source
Limited (search only)   University of Michigan