Automated Reasoning : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings

Authors :: Rajeev Gore
Alexander Leitsch
Tobias Nipkow
Rajeev Gore
Alexander Leitsch
Tobias Nipkow
Publication Year :: 2003

Subjects :: Artificial intelligence
Machine theory
Computer science
Software engineering
Mathematical logic

Language :: English
ISBNs :: 9783540422549 and 9783540457442
Volume :: 02083
Database :: eBook Index
Journal :: Automated Reasoning : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings
Publication Type :: eBook
Accession number :: 2692270

Tools