Citronic

automated reasoning in higher order logic set comprehension and

automated reasoning in higher order logic set comprehension and

Recommended

Demri - Automated Reasoning   7th International Joint Conference IJC - S9000z
Demri - Automated Reasoning 7th International Joint Conference IJC - S9000z

$69.80

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

$49.82

View Details
Handbook Of Automated Reasoning: Volume I
Handbook Of Automated Reasoning: Volume I

$264.42

View Details
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Ita
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Ita

$56.28

View Details
Automated Reasoning in Higher-order Logic: Set Comprehension and Extensionality
Automated Reasoning in Higher-order Logic: Set Comprehension and Extensionality

$35.65

View Details
Automated Reasoning - 9789401055420
Automated Reasoning - 9789401055420

$94.76

View Details
Automated Reasoning with Analytic Tableaux and Related Methods: 16th Internation
Automated Reasoning with Analytic Tableaux and Related Methods: 16th Internation

$66.79

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

$12.80

View Details
The Automation of Reasoning with Incomplete Information: From Semantic...
The Automation of Reasoning with Incomplete Information: From Semantic...

$16.08

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