Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings

• Tác giả: Roy Dyckhoff
• ISBN-13: 978-3540450085
• 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, 2000.
• Mô tả vật lý: X, 440 p. , online resource.
• Bộ sưu tập: Tài liệu truy cập mở
• ID: 316088
• Chủ đề: 1. Artificial intelligence; 2. Compilers (Computer programs); 3. Machine theory; 4. Artificial Intelligence; 5. Compilers and Interpreters