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)

782.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

782.99 EUR 782.99 EUR
14-09-2026 22:50:27
Accès à la transaction

Produits connexes

The Consolidated General Orders of the High Court of Chancery: With Regulations as to Certain Fees and Charges (1860)

83.99 EUR
Voir produit

Higher Order Logic and Hardware Verification

259.99 EUR
Voir produit

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

73.15 EUR
Voir produit

Nonlinear Prediction Ladder-Filters for Higher-Order Stochastic Sequences - Jan Zarzycki

6.17 EUR
Voir produit