Automated Reasoning With Analytic Tableaux and Related Methods | DealShopping France
  1. Page d’accueil
  2. Automated Reasoning With Analytic Tableaux and Related Methods, Lecture Notes in Artificial Intelligence
  • #

Automated Reasoning With Analytic Tableaux and Related Methods, Lecture Notes in Artificial Intelligence

123.99 EUR

Partager:

Produits connexes

Handbook of Practical Logic and Automated Reasoning

Handbook of Practical Logic and Automated Reasoning

312.99 EUR
Firstorder Logic & Automated Theorem Pro

Firstorder Logic & Automated Theorem Pro

115.42 EUR
Automated Reasoning in Higher-Order Logic, Studies in Logic, Logic and Cognitive Systems

Automated Reasoning in Higher-Order Logic, Studies in Logic, Logic and Cognitive Systems

73.15 EUR
Automated Theorem Proving

Automated Theorem Proving

152.80 EUR
Automated Reasoning: Second International Joint Conference, Ijcar 2004, Cork, Ireland, July 4-8, 2004, Proceedings

Automated Reasoning: Second International Joint Conference, Ijcar 2004, Cork, Ireland, July 4-8, 2004, Proceedings

141.54 EUR
Automated Modeling Of Physical Systems

Automated Modeling Of Physical Systems

1.00 EUR