Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
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?February 25, 2022 | Edited by ImportBot | import existing book |
December 5, 2020 | Edited by MARC Bot | import existing book |
October 29, 2019 | Edited by ImportBot | import existing book |
December 4, 2010 | Edited by Open Library Bot | Added subjects from MARC records. |
December 11, 2009 | Created by WorkBot | add works page |