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

Compare webshops (2)

Shop
Price
Amazon Logo
€ 127.10
To Shop
Amazon Marketplace Logo
€ 127.10
To Shop
Description (0)

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

Product specifications

Brand OmniScriptum
EAN
  • 9786131962011

Prices were last updated on:

Independently Published

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

€ 21.06
Compare 2 stores 2 stores

Independently Published

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

€ 15.16
Compare 2 stores 2 stores

Independently Published

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

€ 21.06
Compare 2 stores 2 stores

Independently Published

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

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