Limit search to available items
Book Cover
Author IJCAR (Conference) (4th : 2008 : Sydney, N.S.W.)

Title Automated Reasoning : fourth International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008 : proceedings / Alessandro Armando, Peter Baumgartner, Gilles Dowek (eds.)
Published Berlin ; New York : Springer, 2008
Online access available from:
Springer eBooks    View Resource Record  


Description 1 online resource (xii, 556 pages) : illustrations
Series Lecture notes in computer science ; 5195. Lecture notes in artificial intelligence
Lecture notes in computer science ; 5195
Lecture notes in computer science. Lecture notes in artificial intelligence.
Bibliography Includes bibliographical references and index
Notes Print version record
Subject Automatic theorem proving -- Congresses.
Computer logic -- Congresses.
Genre/Form Conference papers and proceedings.
Conference papers and proceedings.
Form Electronic book
Author Armando, Alessandro.
Baumgartner, Peter.
Dowek, Gilles.
ISBN 9783540710707
Other Titles IJCAR 2008