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

Prices from
21.06

Featured

COMPARE ALL WEBSHOPS (2)

Description

Amazon Pages: 244, Hardcover, Independently published
Description Description
Product Specifications Product specifications
Related results Related results
Next
Previous

Compare webshops (2)

Shop
Price
Amazon Logo
€ 21.06
To Shop
Amazon Marketplace Logo
€ 21.06
To Shop
Description (1)

Pages: 244, Hardcover, Independently published

Product specifications

Brand Independently Published
EAN
  • 9798276408941

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 1

€ 15.16
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

Tarski's Undefinability Theorem: Alfred Tarski, Mathematical Logic, Foundations of Mathematics

€ 145.79
Compare 2 stores 2 stores
Featured Choice
€ 21.06
To Shop