Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings

• Tác giả: Bernhard Beckert
• ISBN-13: 978-3540318224
• 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, 2005.
• Mô tả vật lý: XIV, 346 p. , online resource.
• Bộ sưu tập: Tài liệu truy cập mở
• ID: 318797
• Chủ đề: 1. Artificial intelligence; 2. Computer programming; 3. Machine theory; 4. Software engineering; 5. Artificial Intelligence