Research Catalog

Automated Reasoning : fourth International Joint Conference, IJCAR 2008, Sydney, Nsw, Australia, August 12-15, 2008 : proceedings

Title
Automated Reasoning : fourth International Joint Conference, IJCAR 2008, Sydney, Nsw, Australia, August 12-15, 2008 : proceedings / Alessandro Armando, Peter Baumgartner, Gilles Dowek (eds.)
Author
IJCAR 2001 (2001 : Sydney, N.S.W.)
Publication
Berlin ; New York : Springer, 2008.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextRequest in advance QA76.9.A96 I38 2008gOff-site

Holdings

Details

Additional Authors
  • Armando, Alessandro.
  • Baumgartner, Peter.
  • Dowek, Gilles.
Description
xii, 556 pages : illustrations; 24 cm.
Series Statement
Lecture notes in computer science ; 5195. Lecture notes in artificial intelligence
Uniform Title
  • Lecture notes in computer science ; 5195.
  • Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects
Bibliography (note)
  • Includes bibliographical references and index.
ISBN
  • 9783540710691
  • 3540710698
OCLC
  • 506488979
  • ocn506488979
  • SCSB-5420936
Owning Institutions
Columbia University Libraries