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

Prix à partir de
11,79

En vedette

COMPARER TOUS LES MAGASINS EN LIGNE (2)

Description

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

Description Description
Product Specifications Spécifications du produit
Résultats connexes Résultats connexes
Next
Previous

Comparer les boutiques en ligne (2)

Trier par:

11,79 €

11,79 €

Description (0)

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

Spécifications du produit

Marque Independently Published
EAN
  • 9798194154524

Morgan Kaufmann Publishers

Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference

61,99 €
Comparer 2 magasins 2 magasins

JAG UNIFIED INTERNATIONAL

Modern Developments in Computer Science Engineering and Intelligent Systems

7,44 €
Comparer 2 magasins 2 magasins

Independently Published

Prolong for AI and Intelligent Systems: A Practical Guide to Expert Systems,...

23,81 €
Comparer 2 magasins 2 magasins

Independently Published

Neurosymbolic AI: A Practical Guide to Neural Networks, Symbolic Reasoning, Knowledge Representation,...

36,31 €
Comparer 2 magasins 2 magasins
Choix en vedette
11,79 €
Voir l’offre