AUTOMATED REASONING IN COMPUTER SCIENCE: SAT Solving Constraint Systems Symbolic Methods Logical Inference and Intelligent Verification

Prezzi da
11,56

In evidenza

CONFRONTA TUTTI I WEBSHOP (2)

Descrizione

AUTOMATED REASONING IN COMPUTER SCIENCE: SAT Solving Constraint Systems Symbolic Methods Logical Inference and Intelligent Verification

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

Confronta i webshop (2)

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

AUTOMATED REASONING IN COMPUTER SCIENCE: SAT Solving Constraint Systems Symbolic Methods Logical Inference and Intelligent Verification

Specifiche del prodotto

Marchio Independently Published
EAN
  • 9798194154524

Independently Published

Prolog Intelligent Systems Development: Logical Inference Rule Based Automation and Knowledge Driven Programming

11,50 €
Confronta 2 negozi 2 negozi

Springer

Constraint Solving and Planning with Picat (SpringerBriefs in Intelligent Systems Book 0) (English Edition)

40,03 €
Confronta 2 negozi 2 negozi

Morgan Kaufmann

Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference (Morgan Kaufmann Series...

40,00 €
Confronta 2 negozi 2 negozi

Springer

Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on...

36,39 €
Confronta 2 negozi 2 negozi
Scelta in evidenza
11,56 €
Vai allo shop