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

56.22 EUR

Partager:

Produits connexes

Firstorder Logic & Automated Theorem Pro

Firstorder Logic & Automated Theorem Pro

95.85 EUR
Automated Theorem Proving

Automated Theorem Proving

65.14 EUR
Automated Modeling Of Physical Systems

Automated Modeling Of Physical Systems

1.00 EUR
Handbook of Practical Logic and Automated Reasoning

Handbook of Practical Logic and Automated Reasoning

136.01 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 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

131.36 EUR