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

Priser från
326,50

Utvalda

JäMFöR ALLA WEBBUTIKER (2)

Beskrivning

Amazon E Equational Theorem Prover: Automated Theorem Proving, First- Order Logic, Superposition Calculus
Description Beskrivning
Product Specifications Produktspecifikationer
Relaterade resultat Relaterade resultat
Next
Previous

Jämför webbutiker (2)

Shop
Pris
Amazon Logga
326,50 kr
Til butik
Amazon Marketplace Logga
326,50 kr
Til butik
Beskrivning (1)

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

Produktspecifikationer

Märke Betascript Publishing
EAN
  • 9786131962011

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

Independently Published

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

236,25 kr
Jämför 2 butiker 2 Butiker
Utvalt Val
326,50 kr
Til butik