Automated Theorem Proving: reasoning, Mathematical proof, Agda (theorem prover), theorem, Computer program, Symbolic ... Proof complexity, First order resolution

Prix à partir de
28,72

En vedette

COMPARER TOUS LES MAGASINS EN LIGNE (2)

Description

Amazon Automated Theorem Proving: Automated reasoning, Mathematical proof, Agda (theorem prover), Mathematical theorem, Computer program, Symbolic ... Proof complexity, First- order resolution
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
28,72 €
Gratuit
28,72 €
Voir l’offre
Gratuit Shipping Costs
Amazon Marketplace Logo
28,72 €
Gratuit
28,72 €
Voir l’offre
Gratuit Shipping Costs
Description (1)

Automated Theorem Proving: Automated reasoning, Mathematical proof, Agda (theorem prover), Mathematical theorem, Computer program, Symbolic ... Proof complexity, First- order resolution

Spécifications du produit

Marque OmniScriptum
EAN
  • 9786130767396

OmniScriptum

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

156,00 €
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

Independently Published

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

22,32 €
Comparer 2 magasins 2 magasins

Independently Published

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

22,32 €
Comparer 2 magasins 2 magasins
Choix en vedette
28,72 €
Voir l’offre