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

Où acheter (1) Caractéristiques
Sponsorisé
Automated Reasoning With Analytic Tableaux and Related Methods, Lecture Notes in Artificial Intelligence
Fnac FR
Produit utilisé
65.14 EUR
Prix mis à jour le: 24-07-2025 02:57:15
Voir l'offre

Général

Marque
Springer

Caractéristiques

Produits similaires

Handbook of Practical Logic and Automated Reasoning
Handbook of Practical Logic and Automated Reasoning
Voir produit
Firstorder Logic & Automated Theorem Pro
Firstorder Logic & Automated Theorem Pro
Voir produit
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
Voir produit
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
Voir produit
Automated Theorem Proving
Automated Theorem Proving
Voir produit
Automated Modeling Of Physical Systems
Automated Modeling Of Physical Systems
Voir produit
Menu