Automated Reasoning in Higher-Order Logic, Studies in Logic | 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 in Higher-Order Logic, Studies in Logic, Logic and Cognitive Systems
product image
product image

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

73.15 EUR

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

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

73.15 EUR 73.15 EUR
11-06-2026 22:05:24
Accès à la transaction

Produits connexes

Virtual Selling

6.17 EUR 6.49 EUR
Voir produit

Handbook of Practical Logic and Automated Reasoning

136.01 EUR 194.75 EUR
Voir produit

Jürgen Hagedorn Handbook Of Coil Winding: Technologies For Efficient Electrical Wound Products And Their Automated Production

151.17 EUR
Voir produit

Larrey, Father Philip Connected World: From Automated Work To Virtual Wars: The Future, By Those Who Are Shaping It

3.25 EUR
Voir produit