Cover is for reference only

Automated deduction -- CADE-13：13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings

Saved in:
Bibliographic Details
Corporate Authors: International Conference on Automated Deduction (13th 1996 New Brunswick, N.J.)
Group Author: (Michael A.); Slaney J. K.; (John K.); McRobbie M. A.
Published: Springer,
Publisher Address: Berlin
Publication Dates: c1996.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 1104.
Subjects:
Logic, Symbolic and mathematical > Congresses.
Automatic theorem proving > Congresses.
Carrier Form: xv, 764 p.: ill. ; 24 cm.
ISBN: 3540615113 (alk. paper)
Index Number: TP387
CLC: TP387-532
Call Number: TP387-532/I61.2/1996/
Contents: Includes bibliographical references and index.

Related Book Recommendations