| Select number of records to
display per page:
|
Sort by
|
|
1.
|
|
|
Handbook of Automated Reasoning(Hardback)
Volume II
North-Holland
Published:
21/06/2001
This second volume of "Handbook of Automated Reasoning" covers topics such as higher-order logic and logical frameworks, higher-order unification and matching, logical frameworks, proof-assistants u...
|
|
|
2.
|
|
|
Handbook of Automated Reasoning(Hardback)
Vols 1 & 2
North-Holland
Published:
22/06/2001
Automated reasoning has matured into one of the most advanced areas of computer science. This handbook presents an overview of the fundamental ideas, techniques, and methods in automated reasoning a...
|
|
|
3.
|
|
|
Handbook of Automated Reasoning(Hardback)
Volume I
North-Holland
Published:
21/06/2001
This first volume of the "Handbook of Automated Reasoning" includes topics such as: the early history of automated deduction, classical logic - resolution theorem proving, and tableaux and related m...
|
|
|
Select All |
|
|
|