Automated Reasoning

Warning: mysql_num_rows() expects parameter 1 to be resource, boolean given in /home/web/naiti.in/lib.php on line 113
Automated Reasoning
Автор
 
Год
 
Страниц
 
493
ISBN
 
ISBN10:3540259848
Искать в интернет библиотекахКупить

Описание:

This book constitutes the refereed proceedings of the Second International Joint Conference on Automated Reasoning, IJCAR 2004, held in Cork, Ireland, in July 2004. IJCAR 2004 comprises CADE, CALCULEMUS, , FroCoS, FTP, and TABLEAUX.The 26 revised full research papers and 6 revised system demonstrations presented together with 3 invited papers and a summary of a systems competition were carefully reviewed and selected from a total of 86 submissions. The papers are organized in topical sections on rewriting, saturation-based theorem proving, combination techniques, verification and systems, reasoning with finite structure, tableaux and non-classical logics, applications and systems, computer mathematics, interactive theorem proving, combinatorial reasoning, and higher-order reasoning.

Похожие книги

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
Автор: David Basin, Michael Rusinowitch
Год: 2004
Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, ProceedingsAutomated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings
Год: 2004
Theorem Proving in Higher Order Logics, 14 conf., TPHOLs 2001Theorem Proving in Higher Order Logics, 14 conf., TPHOLs 2001
Год: 2001
Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings (Lecture Notes in Computer Science)Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings (Lecture Notes in Computer Science)
Автор: Konrad Slind, Annette Bunker, Ganesh C. Gopalakrishnan
Год: 2004
Symbolic Logic and Mechanical Theorem Proving (Computer Science Classics)Symbolic Logic and Mechanical Theorem Proving (Computer Science Classics)
Автор: Chin-Liang Chang, Richard Char-Tung Lee
Год: 2004
Theorem Proving in Higher Order Logics, 15 conf., TPHOLs 2002Theorem Proving in Higher Order Logics, 15 conf., TPHOLs 2002
Год: 2002