Reset Filters
Branch: 上海图书馆东馆

Cover is for reference only

Automated reasoning：6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012 : proceedings

Saved in:
Bibliographic Details
Corporate Authors: IJCAR (Conference) (6th 2012 Manchester, England); SpringerLink (Online service)
Group Author: Miller Dale.; (Dale A.); Sattler Uli.; Gramlich Bernhard, Dr.rer.nat.
Published: Springer,
Publisher Address: Berlin
Publication Dates: c2012.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 7364.
Subjects:
Computer logic.
Electronic books.
Automatic theorem proving
Online Access: http://dx.doi.org/10.1007/978-3-642-31365-3
Carrier Form: 1 online resource (xiv, 568 p.): ill.
ISBN: 9783642313653 (electronic bk.)
3642313655 (electronic bk.)
Index Number: TP181
CLC: TP181-532
Contents: International conference proceedings.
Includes bibliographical references and author index.

Related Book Recommendations