Propositional Proof System: Calculus, Complexity, Logic, Tautology

Name: Propositional Proof System: Calculus, Complexity, Logic, Tautology
Brand: OmniScriptum
SKU: 93a25ee14a5181626ba1203498fc0cb0

1/1

Prijzen vanaf

109,21

Gesponsorde links

Beschrijving

Propositional Proof System: Calculus, Complexity, Logic, Tautology

Vergelijk aanbieders (2)

Gesponsorde links · Sommige shops betalen ons een vergoeding

Sorteren op:

€ 109,21 Gratis verzending

Beschrijving (0)

Propositional Proof System: Calculus, Complexity, Logic, Tautology

Merk	OmniScriptum
EAN	9786134642248

R Calculus, IV: Propositional Logic

OmniScriptum

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

R Calculus, IV: Propositional Logic: 4

Independently Published

Logic and COMPUTATIONAL Proof SYSTEMS: Propositional Predicate Calculus Search Automated Deduction Formal Reasoning

Uitgelichte Keuze

109,21

Naar shop