Research Catalog

Automated reasoning : third international joint conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings

Title
Automated reasoning : third international joint conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings / Ulrich Furbach, Natarajan Shankar (eds.).
Author
IJCAR (Conference) (3rd : 2006 : Seattle, Wash.)
Publication
Berlin ; New York : Springer, [2006], ©2006.

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 2006gOff-site

Holdings

Details

Additional Authors
  • Furbach, Ulrich.
  • Shankar, N.
Description
xv, 680 pages : illustrations; 24 cm.
Series Statement
Lecture notes in computer science, 0302-9743 ; 4130. Lecture notes in artificial intelligence
Uniform Title
  • Lecture notes in computer science ; 4130.
  • Lecture notes in computer science. Lecture notes in artificial intelligence.
Alternative Title
IJCAR 2006
Subjects
Bibliography (note)
  • Includes bibliographical references and index.
ISBN
3540371877 (pbk.)
LCCN
9783540371878
OCLC
  • ocm70886323
  • SCSB-5273289
Owning Institutions
Columbia University Libraries