Higher Order Logic Theorem Proving and its Applications (IFIP Transactions A: Computer Science and Technology) | 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 Higher Order Logic Theorem Proving and its Applications (IFIP Transactions A: Computer Science and Technology)
product image
product image
product image
product image

Higher Order Logic Theorem Proving and its Applications (IFIP Transactions A: Computer Science and Technology)

787.99 EUR

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

Sponsorisé Higher Order Logic Theorem Proving and Its Applications, Ifip Transactions. A, Computer Science and Technology, A-20

787.99 EUR 787.99 EUR
28-07-2026 16:24:01
Accès à la transaction

Produits connexes

Higher Order Logic and Hardware Verification, Cambridge Tracts in Theoretical Computer Science

55.44 EUR
Voir produit

Introduction to Higher-Order Categorical Logic, Cambridge Studies in Advanced Mathematics, 7

94.94 EUR
Voir produit

Higher Order Logic and Hardware Verification

261.99 EUR
Voir produit

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

100.99 EUR
Voir produit