Automated Proof Checking: Mathematical Proof, Reasoning, Theorem Proving

Prijzen vanaf
47,31

Uitgelicht

VERGELIJK ALLE AANBIEDERS (2)

Beschrijving

Automated Proof Checking: Mathematical Proof, Reasoning, Theorem Proving

Description Beschrijving
Product Specifications Productspecificaties
Related Products Gerelateerde producten
?>
Next
Previous

Vergelijk aanbieders (2)

Shop
Prijs
Verzendkosten
Totale prijs
Amazon Logo
47,31
Gratis
47,31
Naar shop
Gratis Shipping Costs
Amazon Marketplace Logo
47,31
Gratis
47,31
Naar shop
Gratis Shipping Costs
Beschrijving (0)

Automated Proof Checking: Mathematical Proof, Reasoning, Theorem Proving

Productspecificaties

Merk OmniScriptum
EAN
  • 9786131368837

Prijzen voor het laatst bijgewerkt op:

OmniScriptum

Automated Reasoning: computer science, Reasoning, Artificial intelligence, Theoretical theorem proving, Interactive proving

31,57
Vergelijk 2 shops 2 shops

Independently Published

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

22,53
Vergelijk 2 shops 2 shops

Independently Published

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

16,22
Vergelijk 2 shops 2 shops

Independently Published

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

16,22
Vergelijk 2 shops 2 shops
Uitgelichte Keuze
47,31
Naar shop