Reset Filters
Branch: 上海图书馆

Cover is for reference only

Automated reasoning：First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001 : proceedings

Saved in:
Bibliographic Details
Corporate Authors: IJCAR 2001 (2001 Siena, Italy
Group Author: Leitsch Alexander 1952-; Nipkow Tobias 1958-; Goré Rajeev
Published: Springer,
Publisher Address: Berlin New York
Publication Dates: c2001.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 2083.
Subjects:
Computer logic
Théorèmes > Démonstration automatique > Congrès
Logique informatique > Congrès
Automatic theorem proving
Carrier Form: xv, 708 p.: ill. ; 24 cm.
Publication Frequency: Also available via the World Wide Web.
ISBN: 3540422544 (pbk. : alk. paper)
Index Number: TP181
CLC: TP181-532
Call Number: TP181-532/I615/2001
Contents: Includes index.

Related Book Recommendations