Cover is for reference only

Automated deduction, CADE-14：14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings

Saved in:
Bibliographic Details
Corporate Authors: International Conference on Automated Deduction (14th 1997 Townsville, Qld.)
Group Author: (William); McCune W.
Published: Springer,
Publisher Address: Berlin
Publication Dates: c1997.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 1249 : Lecture notes in artificial intelligence
Subjects:
Logic, Symbolic and mathematical > Congresses.
Automatic theorem proving > Congresses.
Carrier Form: xiv, 462 p.: ill. ; 24 cm.
ISBN: 3540631046 (pbk. : alk. paper)
Index Number: TP387
CLC: TP387-532
Call Number: TP387-532/I61.2/1997/
Contents: Includes bibliographical references and index.

Related Book Recommendations