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

Prices from
127.10

Featured

COMPARE ALL WEBSHOPS (2)

Description

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

Description Description
Product Specifications Product specifications
Related results Related results
Next
Previous

Compare webshops (2)

Sort by:

€ 127.10

€ 127.10

Description (0)

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

Product specifications

Brand OmniScriptum
EAN
  • 9786131962011

OmniScriptum

Automated Theorem Proving: reasoning, Mathematical proof, Agda (theorem prover), theorem, Computer program,...

€ 108.41
Compare 2 stores 2 stores

OmniScriptum

Robin Milner: LCF Theorem Prover, Automated Proving, ML Programming Language, Type Inference,...

€ 108.41
Compare 2 stores 2 stores

OmniScriptum

Proof Complexity: Computer Science, Automated Theorem Proving, Propositional Logic, DPLL Algorithm

€ 127.10
Compare 2 stores 2 stores

OmniScriptum

Larch Prover: ACL2, CARINE, E Theorem Prover

€ 127.10
Compare 2 stores 2 stores
Featured Choice
€ 127.10
To Shop