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

Prijzen vanaf
42,52

Uitgelicht

VERGELIJK ALLE AANBIEDERS (1)

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 (1)

Sorteren op:

€ 42,52

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
Meer informatie Meer info

OmniScriptum

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

31,57
Meer informatie Meer info

First Order Logic and Automated Theorem Proving

125,00
Meer informatie Meer info

Automated Theorem Proving

60,99
Meer informatie Meer info
Uitgelichte Keuze
42,52
Naar shop