automated reasoning with analytic tableaux and related methods 26th internation

automated reasoning with analytic tableaux and related methods 26th internation

Recommended

Olivetti - Automated Reasoning 8th International Joint Conference - S9000z

Olivetti - Automated Reasoning 8th International Joint Conference - S9000z

$109.80

View Details

AUTOMATED REASONING AND ITS APPLICATIONS: ESSAYS IN HONOR By Robert Veroff *NEW*

AUTOMATED REASONING AND ITS APPLICATIONS: ESSAYS IN HONOR By Robert Veroff NEW

$25.95

View Details

Gramlich - Automated Reasoning 6th International Joint Conference - S9000z

Gramlich - Automated Reasoning 6th International Joint Conference - S9000z

$69.80

View Details

Automation of Reasoning – Classical Papers on Computational Logic 2 Volumes

Automation of Reasoning – Classical Papers on Computational Logic 2 Volumes

$74.99

View Details

Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh,

Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh,

$129.05

View Details

Automated Reasoning with Analytic Tableaux and Related Methods: 28th Internation

Automated Reasoning with Analytic Tableaux and Related Methods: 28th Internation

$66.98

View Details

RARE SIGNED Automated Reasoning : Thirty-Three Basic Research Problems Larry Wos

RARE SIGNED Automated Reasoning : Thirty-Three Basic Research Problems Larry Wos

$69.99

View Details

Automated Reasoning: 4th International Joint Conference, IJCAR 2008, Sydney, NSW

Automated Reasoning: 4th International Joint Conference, IJCAR 2008, Sydney, NSW

$67.23

View Details

Automated Reasoning With Analytic Tableaux and Related Methods : Internationa...

Automated Reasoning With Analytic Tableaux and Related Methods : Internationa...

$66.40

View Details

Galmiche - Automated Reasoning with Analytic Tableaux and Related Met - S9000z

Galmiche - Automated Reasoning with Analytic Tableaux and Related Met - S9000z

$63.00

View Details