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

Priser från
334,70

Utvalda

JäMFöR ALLA WEBBUTIKER (2)

Beskrivning

Amazon Skolem Normal Form: Existential Quantification, Automated Theorem Prover, Formula, First- order Logic, Thoralf Skolem
Description Beskrivning
Product Specifications Produktspecifikationer
Related Products Relaterade produkter
?>
Next
Previous

Jämför webbutiker (2)

Shop
Pris
Amazon Logga
334,70 kr
Til butik
Amazon Marketplace Logga
334,70 kr
Til butik
Beskrivning (1)

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

Produktspecifikationer

Märke Betascript Publishers
EAN
  • 9786130581169

Priser uppdaterades senast:

OmniScriptum

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

306,49 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

First order Logic

179,00 kr
Mer information Mer info

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
Utvalt Val
334,70 kr
Til butik