All Research Papers Published In Handbook of Automated Reasoning | R Discovery

Book Chapter
491
10.1016/b978-044450813-3/50004-7

Chapter 2 - Resolution Theorem Proving

Jan 01, 2001
Handbook of Automated Reasoning
Leo Bachmair + 3 more +3

Book Chapter
59
10.1016/b978-044450813-3/50022-9

Chapter 20 - Automated Deduction for Many-Valued Logics

Jan 01, 2001
Handbook of Automated Reasoning
Matthias Baaz + 2 more +2

Book Chapter
98
10.1016/b978-044450813-3/50018-7

Chapter 16 - Higher-Order Unification and Matching

Jan 01, 2001
Handbook of Automated Reasoning
Gilles Dowek

Copyright 2026 Cactus Communications. All rights reserved.

Privacy PolicyCookies PolicyTerms of UseCareers