AUTOMATED REASONING: Logical inference theorem proving and intelligent software systems

Prezzi da
11,65

In evidenza

CONFRONTA TUTTI I WEBSHOP (2)

Descrizione

AUTOMATED REASONING: Logical inference theorem proving and intelligent software systems

Description Descrizione
Product Specifications Specifiche del prodotto
Risultati correlati Risultati correlati
Next
Previous

Confronta i webshop (2)

Shop
Prezzo
Amazon Logo
11,65 €
Vai allo shop
Amazon Marketplace Logo
11,65 €
Vai allo shop
Descrizione (0)

AUTOMATED REASONING: Logical inference theorem proving and intelligent software systems

Specifiche del prodotto

Marchio Independently Published
EAN
  • 9798173692702

Independently Published

AUTOMATED REASONING IN COMPUTER SCIENCE: SAT Solving Constraint Systems Symbolic Methods Logical...

11,56 €
Confronta 2 negozi 2 negozi

Springer

Automated Theorem Proving in Software Engineering (English Edition)

36,39 €
Confronta 2 negozi 2 negozi

Independently Published

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

21,90 €
Confronta 2 negozi 2 negozi

Independently Published

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

21,90 €
Confronta 2 negozi 2 negozi
Scelta in evidenza
11,65 €
Vai allo shop