Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, Aisc 2002 and Calculemus 2002 Marseille, Fran
No Customer Reviews
AISC 2002, the 6th international conference on Arti?cial Intelligence and S- bolic Computation, and Calculemus 2002, the 10th symposium on the Integ- tion of Symbolic Computation and Mechanized Reasoning, were held jointly in Marseille, France on July 1-5, 2002. This event was organized by the three universities in Marseille together with the LSIS (Laboratoire des Sciences de l'Information et des Syst emes). AISC 2002 was the latest in a series of...
Format:Paperback
Language:English
ISBN:3540438653
ISBN13:9783540438656
Release Date:June 2002
Publisher:Springer
Length:350 Pages
Weight:1.12 lbs.
Dimensions:0.8" x 6.1" x 9.2"
Customer Reviews
0 rating
Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
