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

Prices from
15.16

Featured

COMPARE ALL WEBSHOPS (2)

Description

Amazon Pages: 261, Paperback, Independently published
Description Description
Product Specifications Product specifications
Related results Related results
Next
Previous

Compare webshops (2)

Sort by:

€ 15.16

€ 15.16

Description (1)

Pages: 261, Paperback, Independently published

Product specifications

Brand Independently Published
EAN
  • 9798276228549

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

OmniScriptum

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

€ 127.10
Compare 2 stores 2 stores

OmniScriptum

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

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