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

Priser från
306,49

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
Related Products Relaterade produkter
?>
Next
Previous

Jämför webbutiker (2)

Shop
Pris
Amazon Logga
306,49 kr
Til butik
Amazon Marketplace Logga
306,49 kr
Til butik
Beskrivning (1)

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

Produktspecifikationer

Märke OmniScriptum
EAN
  • 9786131962011

Priser uppdaterades senast:

Betascript Publishers

Skolem Normal Form: Existential Quantification, Automated Theorem Prover, Formula, First- order Logic, Thoralf

334,70 kr
Jämför 2 butiker 2 Butiker

OmniScriptum

Gandalf (theorem prover): Automated Theorem Prover, Semantic Web, Scheme (programming language)

443,05 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
Utvalt Val
306,49 kr
Til butik