Automated Reasoning

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, ProceedingsAutomated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings
Год: 2004
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
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
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, 21 conf., TPHOLs 2008Theorem Proving in Higher Order Logics, 21 conf., TPHOLs 2008
Год: 2008
Theorem Proving in Higher Order Logics, 15 conf., TPHOLs 2002Theorem Proving in Higher Order Logics, 15 conf., TPHOLs 2002
Год: 2002