Research Catalog
Automated deduction -- CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007 : proceedings
- Title
- Automated deduction -- CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007 : proceedings / Frank Pfenning (ed.).
- Author
- International Conference on Automated Deduction (21st : 2007 : Bremen, Germany)
- Publication
- Berlin ; New York : Springer, [2007], ©2007.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | QA76.9.A96 I57 2007g | Off-site |
Holdings
Details
- Additional Authors
- Pfenning, Frank.
- Description
- xii, 522 pages : illustrations; 24 cm.
- Series Statement
- Lecture notes in computer science, 0302-9743 ; 4603. Lecture notes in artificial intelligence
- Uniform Title
- Lecture notes in computer science ; 4603.
- Lecture notes in computer science. Lecture notes in artificial intelligence.
- Alternative Title
- Automated deduction
- CADE-21
- CADE-twenty-one
- 21st International Conference on Automated Deduction
- Twenty-first International Conference on Automated Deduction
- International Conference on Automated Deduction
- Subjects
- Bibliography (note)
- Includes bibliographical references and index.
- ISBN
- 9783540735946 (pbk.)
- 3540735941 (pbk.)
- OCLC
- ocn155834303
- 155834303
- SCSB-5357035
- Owning Institutions
- Columbia University Libraries