Cover Image

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

Show other versions (1)
Bibliographic Details
Corporate Authors: IJCAR (Conference) Siena, Italy), SpringerLink (Online service), LINK (Online service)
Other Authors: Goré, Rajeev, Leitsch, Alexander, 1952-, Nipkow, Tobias, 1958-
Format: Conference Proceeding eBook
Language:English
Published: New York : Springer, 2001.
Series:Lecture notes in computer science ; 2083.
Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:
Automatic theorem proving > Congresses.
Computer logic > Congresses.
Automatic theorem proving.
Computer logic.
Electronic books.
Online resources.
Conference proceedings.
Online Access:Connect to the full text of this electronic book
Description
Item Description:Includes index.
Electronic resource.
Physical Description:1 online resource (xv, 708 pages) : figures, tables
ISBN:3540422544 (pbk. : alk. paper)
9783540422549 (pbk. : alk. paper)