Check nearby libraries
Buy this book
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Showing 1 featured edition. View all 1 editions?
Edition | Availability |
---|---|
1
Artificial intelligence, automated reasoning, and symbolic computation: joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 proceedings
2002, Springer
in English
3540438653 9783540438656
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Edition Notes
"AISC 2002, the 6th International Conference on Artificial Intelligence and Symbolic Computation, and Calculemus 2002, the 10th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning ..."Pref.
Includes bibliographical references and index.
Also available via the World Wide Web.
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?History
- Created November 14, 2008
- 8 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
November 15, 2023 | Edited by MARC Bot | import existing book |
February 25, 2022 | Edited by ImportBot | import existing book |
December 5, 2020 | Edited by MARC Bot | import existing book |
May 18, 2020 | Edited by CoverBot | Added new cover |
November 14, 2008 | Created by ImportBot | Imported from University of Toronto MARC record |