Automated Deduction - CADE-18 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings /
The First CADE in the Third Millennium This volume contains the papers presented at the Eighteenth International C- ference on Automated Deduction (CADE-18) held on July 27-30th, 2002, at the University of Copenhagen as part of the Federated Logic Conference (FLoC 2002). Despite a large number of de...
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2002.
|
| Edition: | 1st ed. 2002. |
| Series: | Lecture Notes in Artificial Intelligence ;
2392 |
| Subjects: | |
| Online Access: | Full Text via HEAL-Link |
