Armando A. (ed.), Baumgartner P. (ed.), Dowek G. (ed.) — Automated reasoning. Lecture notes in artificial intelligence 5195
Обсудите книгу на
Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Automated reasoning. Lecture notes in artificial intelligence 5195
Авторы: Armando A. (ed.), Baumgartner P. (ed.), Dowek G. (ed.)
Аннотация:
4th International Joint Conference, IJCAR 2008
Sydney, Australia, August 12-15, 2008
Proceedings
This volume contains the papers presented at IJCAR 2008, the 4th International
Joint Conference on Automated Reasoning, held August 12–15, 2008, in Sydney
(Australia). The IJCAR conference series is aimed at unifying the different
research principles within automated reasoning. IJCAR 2008 was the fusion of
several major international events:
– CADE: The International Conference on Automated Deduction
– FroCoS: The Symposium on Frontiers of Combining Systems
– FTP: The Workshop on First-Order Theorem Proving
– TABLEAUX: The Conference on Analytic Tableaux and Related Methods
|
|
О проекте