First-Order Logic and Automated Theorem Proving

Name: First-Order Logic and Automated Theorem Proving
Brand: Springer
SKU: a813f56c2415a7eefbb449692fffeb73

1/1

Prezzi da

96,29

In evidenza

Descrizione

First-Order Logic and Automated Theorem Proving

Confronta i webshop (2)

Shop

Prezzo

96,29 €

Vai allo shop

96,29 €

Vai allo shop

Descrizione (0)

First-Order Logic and Automated Theorem Proving

Marchio	Springer
EAN	9781461275152

Springer

First-Order Logic and Automated Theorem Proving (Texts in Computer Science) (English Edition)

Independently Published

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

Independently Published

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

Independently Published

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