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

Priser från
170,08

Utvalda

JäMFöR ALLA WEBBUTIKER (2)

Beskrivning

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

Jämför webbutiker (2)

Shop
Pris
Amazon Logga
170,08 kr
Til butik
Amazon Marketplace Logga
170,08 kr
Til butik
Beskrivning (1)

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

Produktspecifikationer

Märke Independently Published
EAN
  • 9798276228549

Priser uppdaterades senast:

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 2

236,25 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
170,08 kr
Til butik