Mathematical Logic and AI Reasoning Foundations Formal Methods & Automated Theorem Proving VOL 2

Prix à partir de
22,32

En vedette

COMPARER TOUS LES MAGASINS EN LIGNE (2)

Description

Amazon Mathematical Logic and AI Reasoning Foundations Formal Methods & Automated Theorem Proving VOL-2
Description Description
Product Specifications Spécifications du produit
Résultats connexes Résultats connexes
Next
Previous

Comparer les boutiques en ligne (2)

Shop
Prix
Affranchissement
Prix total
Amazon Logo
22,32 €
Gratuit
22,32 €
Voir l’offre
Gratuit Shipping Costs
Amazon Marketplace Logo
22,32 €
Gratuit
22,32 €
Voir l’offre
Gratuit Shipping Costs
Description (1)

Mathematical Logic and AI Reasoning Foundations Formal Methods & Automated Theorem Proving VOL-2

Spécifications du produit

Marque Independently Published
EAN
  • 9798276408941

Independently Published

Mathematical Logic and AI Reasoning Foundations Formal Methods & Automated Theorem Proving VOL 1

22,32 €
Comparer 2 magasins 2 magasins

Independently Published

Mathematical Logic and AI Reasoning Foundations Formal Methods & Automated Theorem Proving VOL 1

16,07 €
Comparer 2 magasins 2 magasins

OmniScriptum

Automated Theorem Proving: reasoning, Mathematical proof, Agda (theorem prover), theorem, Computer program,...

28,72 €
Comparer 2 magasins 2 magasins

OmniScriptum

Gödel's Completeness Theorem: Mathematical Logic, Provability First Order Kurt Gödel, Structure (Mathematical...

156,00 €
Comparer 2 magasins 2 magasins
Choix en vedette
22,32 €
Voir l’offre