Cover is for reference only

Automated reasoning：fourth international joint conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008 : proceedings

Saved in:
Bibliographic Details
Corporate Authors: IJCAR 2008 (2008 Sydney, Australia); SpringerLink (Online service)
Group Author: Dowek Gilles.; Armando Alessandro.; Baumgartner Peter.
Published: Springer,
Publisher Address: Berlin New York
Publication Dates: 2008.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 5195.
Subjects:
Electronic books.
Automatic theorem proving
Computer logic.
Online Access: http://dx.doi.org/10.1007/978-3-540-71070-7
Carrier Form: xii, 556 p.: ill. ; 24 cm.
ISBN: 9783540710707 (electronic bk.)
3540710701 (electronic bk.)
Index Number: TP181
CLC: TP181-532
Contents: Includes bibliographical references and index.

Related Book Recommendations