Cover Image

Deduction : automated logic /

Bibliographic Details
Main Author: Bibel, W., 1938-
Other Authors: Hölldobler, Steffen, 1957-
Format: Book
Language:English
Published: London ; San Diego : Academic Press, [1993]
Subjects:
Logic.
Description
Physical Description:253 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references (pages 223-239) and index.
ISBN:012095835X