Artificial Intelligence, Automated Reasoning, and Symbolic Computation [electronic resource] : Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings

• Tác giả: Belaid Benhamou, Jacques Calmet, Olga Caprotti, Laurent Henocque, Volker Sorge
• ISBN-13: 978-3540454700
• Ký hiệu phân loại: 006.3 Artificial intelligence
• Thông tin xuất bản: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002.
• Mô tả vật lý: XIV, 350 p. , online resource.
• Bộ sưu tập: Tài liệu truy cập mở
• ID: 316825
• Chủ đề: 1. Artificial intelligence; 2. Computer science—Mathematics; 3. Discrete mathematics; 4. Machine theory; 5. Numerical analysis