Proof Complexity: Computer Science, Automated Theorem Proving, Propositional Logic, DPLL Algorithm

Prijzen vanaf
42,52

Uitgelicht

VERGELIJK ALLE AANBIEDERS (2)

Beschrijving

Proof Complexity: Computer Science, Automated Theorem Proving, Propositional Logic, DPLL Algorithm

Description Beschrijving
Product Specifications Productspecificaties
Gerelateerde resultaten Gerelateerde resultaten
Next
Previous

Vergelijk aanbieders (2)

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

Proof Complexity: Computer Science, Automated Theorem Proving, Propositional Logic, DPLL Algorithm

Productspecificaties

Merk OmniScriptum
EAN
  • 9786134625739

OmniScriptum

Automated Proof Checking: Mathematical Proof, Reasoning, Theorem Proving

47,31
Vergelijk 2 shops 2 shops

OmniScriptum

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

31,57
Vergelijk 2 shops 2 shops

First Order Logic and Automated Theorem Proving

109,00
Meer informatie Meer info

OmniScriptum

Propositional Proof System: Calculus, Complexity, Logic, Tautology

109,21
Vergelijk 2 shops 2 shops
Uitgelichte Keuze
42,52
Naar shop