Higher Order Logic Theorem Proving and Its Applications, Ifip Transactions. A, Computer Science and Technology, A-20 Commission of the European Communities, Interuniversity Micro-Electronics Center, B

Higher Order Logic Theorem Proving and Its Applications, Ifip Transactions. A, Computer Science and Technology, A-20 Commission of the European Communities, Interuniversity Micro-Electronics Center, B

Higher Order Logic Theorem Proving and Its Applications, Ifip Transactions. A, Computer Science and Technology, A-20 Commission of the European Communities, Interuniversity Micro-Electronics Center, B

Note globale : 4,8 / 5 (moyenne issue de plusieurs sources d’avis, au 11 juil. 2026)
Basé sur un total de 2 160 745 avis clients provenant de plateformes indépendantes.

Sources et transparence :
Les valeurs proviennent d’avis publics de marchands issus de plateformes telles que Avis Vérifiés, Custplace, Trustpilot, entre autres, et sont agrégées mensuellement.

Toutes les marques et tous les logos sont la propriété de leurs détenteurs respectifs.

Avertissement :
prix.net ne peut pas garantir que les avis publiés proviennent de consommateurs ayant réellement effectué un achat auprès du marchand évalué.
Prix total le moins cher
Se renseigner auprès du vendeur
Visa Visa Mastercard Mastercard
282,99 €
Livraison à 5,99 €

Higher Order Logic Theorem Proving and Its Applications, Ifip Transactions. A, Computer Science and Technology, A-20 Commission of the European Communities, Interuniversity Micro-Electronics Center, B

Note globale : 4,8 / 5 (moyenne issue de plusieurs sources d’avis, au 11 juil. 2026)
Basé sur un total de 2 160 745 avis clients provenant de plateformes indépendantes.

Sources et transparence :
Les valeurs proviennent d’avis publics de marchands issus de plateformes telles que Avis Vérifiés, Custplace, Trustpilot, entre autres, et sont agrégées mensuellement.

Toutes les marques et tous les logos sont la propriété de leurs détenteurs respectifs.

Avertissement :
prix.net ne peut pas garantir que les avis publiés proviennent de consommateurs ayant réellement effectué un achat auprès du marchand évalué.
Se renseigner auprès du vendeur
Visa Visa Mastercard Mastercard
787,99 €
Livraison à 10,00 €
Higher Order Logic Theorem Proving and Its Applications, Ifip Transactions. A, Computer Science and Technology, A-20 Commission of the European Communities, Interuniversity Micro-Electronics Center, B

Offre la moins chère

Fnac.com : Higher Order Logic Theorem Proving and Its Applications, Ifip Transactions. A, Computer Science and Technology, A-20 - Livre. Découvrez des nouveautés, des coups de cœur, des avis d'internautes, …
282,99 €
Se renseigner auprès du vendeur
Fnac.com (Marketplace)

🤖 Demande à ChatGPT

Higher Order Logic Theorem Proving and Its Applications, Ifip Transactions. A, Computer Science and Technology, A-20 Commission of the European Communities, Interuniversity Micro-Electronics Center, B - Détails

▶ Trouvez toujours le prix le plus bas !

Nous avons trouvé 2 prix pour Higher Order Logic Theorem Proving and Its Applications, Ifip Transactions. A, Computer Science and Technology, A-20 Commission of the European Communities, Interuniversity Micro-Electronics Center, B. Notre liste de prix est toujours transparente et affichée par ordre de prix croissant. Des frais de livraison peuvent s'ajouter.

Higher Order Logic Theorem Proving and Its Applications, Ifip Transactions. A, Computer Science and Technology, A-20 Commission of the European Communities, Interuniversity Micro-Electronics Center, B - Informations sur les prix

  • Prix le plus bas: 282,99 €
  • Le prix le plus bas est proposé par Fnac.com (Marketplace). Vous pouvez commander le produit ici.
  • Le prix pour le produit Higher Order Logic Theorem Proving and Its Applications, Ifip Transactions. A, Computer Science and Technology, A-20 Commission of the European Communities, Interuniversity Micro-Electronics Center, B varie entre 282,99 €€ à 787,99 €€ avec un total de 2 offres.
  • Méthodes de paiement: le marchand en ligne Fnac.com (Marketplace) accepte : Visa, Mastercard.
  • Livraison: le délai de livraison le plus court allant de Se renseigner auprès du vendeur jours ouvrés est proposé par Fnac.com (Marketplace)

Produits similaires

J. Lambek – Introduction to Higher-Order Categorical Logic
J. Lambek – Introduction to Higher-Order Categorical Logic
78,12 €
Comparer 10 prix
amazon-marketplace.fr
Livraison à 3,00 €
Superposition for Higher-order Logic
Superposition for Higher-order Logic
111,42 €
Voir l'offre
Amazon.fr
Livraison gratuite
Higher-Order Logic and Type Theory – Cambridge University Press
Higher-Order Logic and Type Theory – Cambridge University Press
20,33 €
Comparer 10 prix
Amazon.fr
Livraison à 3,00 €
Higher Order Logic Theorem Proving And Its Applications
Higher Order Logic Theorem Proving And Its Applications
83,46 €
Voir l'offre
Rakuten.com FR
Livraison à 3,99 €
Automated Reasoning In Higher-Order Logic
Automated Reasoning In Higher-Order Logic
46,86 €
Voir l'offre
Rakuten.com FR
Livraison à 0,01 €
N'oubliez pas votre code promo :