Resolution (logic): Mathematical Logic, Automated Theorem Proving, Inference, Propositional Calculus, First-Order Formula, John Alan Robinson, Modus Ponens

Priser från
383,98

Utvalda

JäMFöR ALLA WEBBUTIKER (2)

Beskrivning

Resolution (logic): Mathematical Logic, Automated Theorem Proving, Inference, Propositional Calculus, First-Order Formula, John Alan Robinson, Modus Ponens

Description Beskrivning
Product Specifications Produktspecifikationer
Relaterade resultat Relaterade resultat
Next
Previous

Jämför webbutiker (2)

Shop
Pris
Amazon Logga
383,98 kr
Til butik
Amazon Marketplace Logga
383,98 kr
Til butik
Beskrivning (0)

Resolution (logic): Mathematical Logic, Automated Theorem Proving, Inference, Propositional Calculus, First-Order Formula, John Alan Robinson, Modus Ponens

Produktspecifikationer

Märke Betascript Publishers
EAN
  • 9786130343170

Betascript Publishing

E Equational Theorem Prover: Automated Proving, First Order Logic, Superposition Calculus

326,50 kr
Jämför 2 butiker 2 Butiker

Independently Published

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

170,08 kr
Jämför 2 butiker 2 Butiker

Independently Published

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

236,25 kr
Jämför 2 butiker 2 Butiker

Independently Published

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

170,08 kr
Jämför 2 butiker 2 Butiker
Utvalt Val
383,98 kr
Til butik