Artificial intelligence, automated reasoning, and symbolic computation : joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 : proceedings / Jacques Calmet [and others] (eds.)
Saved in:
| Corporate Authors: | , |
|---|---|
| Other Authors: | |
| Other title: | AISC 2002. Calculemus 2002. |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
©2002.
|
| Series: | Lecture notes in computer science ;
2385. Lecture notes in computer science. Lecture notes in artificial intelligence. |
| Subjects: |
PASCAL Offsite
| Call Number: |
Q334 .A768 2002
|
|---|---|
| Q334 .A768 2002 | Available Place a Hold |