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

Priser från
236,25

Utvalda

JäMFöR ALLA WEBBUTIKER (2)

Beskrivning

Amazon Mathematical Logic and AI Reasoning Foundations Formal Methods & Automated Theorem Proving VOL-2
Description Beskrivning
Product Specifications Produktspecifikationer
Related Products Relaterade produkter
?>
Next
Previous

Jämför webbutiker (2)

Shop
Pris
Amazon Logga
236,25 kr
Til butik
Amazon Marketplace Logga
236,25 kr
Til butik
Beskrivning (1)

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

Produktspecifikationer

Märke Independently Published
EAN
  • 9798276408941

Priser uppdaterades senast:

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

OmniScriptum

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

306,49 kr
Jämför 2 butiker 2 Butiker

Springer

Formal Concept Analysis: Mathematical Foundations

1.120,57 kr
Mer information Mer info
Utvalt Val
236,25 kr
Til butik