Automated deduction, CADE ... / International Conference on Automated Deduction.
Saved in:
| Online Access: |
Request a PDF (UCB only) |
|---|---|
| Previous Title: | International Conference on Automated Deduction. International Conference on Automated Deduction ... proceedings |
| Corporate Author: | |
| Other title: | CADE. Proceedings. |
| Format: | Conference Proceeding |
| Language: | English |
| Published: |
Berlin ; New York :
Springer-Verlag,
©1992-
|
| Series: | Lecture notes in computer science.
Lecture notes in computer science. Lecture notes in artificial intelligence. |
| Subjects: |
Internet
Request a PDF (UCB only)Closed Stacks - Engineering Math & Physics Library
| Call Number: |
QA76.9.A96 I57
|
|---|---|
| Volume Holdings: |
11-18,20 1992-2005 Beginning with 21st vols. are cataloged as monographs. Search by author, title or keyword |
| QA76.9.A96 I57 (11th 1992) | Available Place a Hold |
| QA76.9.A96 I57 (12th 1994) | Available Place a Hold |
| QA76.9.A96 I57 (13th 1996) | Available Place a Hold |
| QA76.9.A96 I57 (14th 1997) | Available Place a Hold |
| QA76.9.A96 I57 (15th 1998) | Available Place a Hold |
| QA76.9.A96 I57 (16th 1999) | Available Place a Hold |
| QA76.9.A96 I57 (17th 2000) | Available Place a Hold |
| QA76.9.A96 I57 (18th 2002) | Available Place a Hold |
| QA76.9.A96 I57 (20th 2005) | Available Place a Hold |