Automated Reasoning With Analytic Tableaux and Related Methods | Kaicus France
Toutes les catégories
Kaicus
Adulte
Alimentation, boissons et tabac
Animaux et articles pour animaux de compagnie
Appareils électroniques
Appareils photo, caméras et instruments d'optique
Arts et loisirs
Bagages et maroquinerie
Bébés et tout-petits
Entreprise et industrie
Équipements sportifs
Fournitures de bureau
Jeux et jouets
Logiciels
Maison et jardin
Médias
Meubles
Quincaillerie
Santé et beauté
Véhicules et accessoires
Vêtements et accessoires
UK España Italia Deutschland France
© 2026, Kaicus - Smart Shopping
All rights reserved
Kaicus Automated Reasoning With Analytic Tableaux and Related Methods, Lecture Notes in Artificial Intelligence
product image
product image

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

126.46 EUR

Marque: Springer
Sponsorisé  Ce site contient des liens d'affiliation pour lesquels nous pouvons recevoir une compensation. Plus d'informations

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

126.46 EUR 126.46 EUR
12-07-2026 11:37:32
Accès à la transaction

Produits connexes

Handbook of Practical Logic and Automated Reasoning

312.99 EUR
Voir produit

Firstorder Logic & Automated Theorem Pro

110.89 EUR
Voir produit

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

100.99 EUR
Voir produit

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

131.36 EUR
Voir produit