Automated Theorem Proving: reasoning, Mathematical proof, Agda (theorem prover), theorem, Computer program, Symbolic ... Proof complexity, First- order resolution

Prices from
108.41

Featured

COMPARE ALL WEBSHOPS (2)

Description

Automated Theorem Proving: reasoning, Mathematical proof, Agda (theorem prover), theorem, Computer program, Symbolic ... Proof complexity, First- order resolution

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

Compare webshops (2)

Sort by:

€ 108.41

€ 108.41

Description (0)

Automated Theorem Proving: reasoning, Mathematical proof, Agda (theorem prover), theorem, Computer program, Symbolic ... Proof complexity, First- order resolution

Product specifications

Brand OmniScriptum
EAN
  • 9786130767396

OmniScriptum

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

€ 127.10
Compare 2 stores 2 stores

OmniScriptum

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

€ 127.10
Compare 2 stores 2 stores

OmniScriptum

Agda (theorem prover): Proof Assistant, Spreadsheet, List of Spreadsheet Software

€ 145.79
Compare 2 stores 2 stores

OmniScriptum

Automated Reasoning: computer science, Reasoning, Artificial intelligence, Theoretical theorem proving, Interactive proving

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