Jardan

automated reasoning with analytic tableaux and related methods 9783030290252

automated reasoning with analytic tableaux and related methods 9783030290252

Recommended

Andrei Voronkov Handbook of Automated Reasoning (Hardback) (UK IMPORT)
Andrei Voronkov Handbook of Automated Reasoning (Hardback) (UK IMPORT)

$335.77

View Details
AUTOMATED REASONING: 33 BASIC RESEARCH PROBLEMS By Larry Wos Excellent Condition
AUTOMATED REASONING: 33 BASIC RESEARCH PROBLEMS By Larry Wos Excellent Condition

$32.75

View Details
Automated Reasoning - 9783319942049
Automated Reasoning - 9783319942049

$50.93

View Details
Automated Reasoning with Analytic Tableaux and Related Methods: International...
Automated Reasoning with Analytic Tableaux and Related Methods: International...

$12.80

View Details
Handbook of Practical Logic and Automated Reasoning [Hardcover] Harrison, John
Handbook of Practical Logic and Automated Reasoning [Hardcover] Harrison, John

$140.00

View Details
Automated Reasoning: Introduction and Applications/Book & D
Automated Reasoning: Introduction and Applications/Book & D

$39.29

View Details
Automated Reasoning with Analytic Tableaux and Related Methods - 9783319669014
Automated Reasoning with Analytic Tableaux and Related Methods - 9783319669014

$59.81

View Details
Automated Reasoning : 8th International Joint Conference, Paperback by Olivet...
Automated Reasoning : 8th International Joint Conference, Paperback by Olivet...

$109.78

View Details
AUTOMATED REASONING: SECOND INTERNATIONAL JOINT By David Basin & Michael VG
AUTOMATED REASONING: SECOND INTERNATIONAL JOINT By David Basin & Michael VG

$55.95

View Details
Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ir
Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ir

$127.09

View Details