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

Prix à partir de
11,73

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)

Shop
Prix
Affranchissement
Prix total
Amazon Logo
11,73 €
3,00 €
14,73 €
Voir l’offre
3,00 € Shipping Costs
Amazon Marketplace Logo
11,73 €
3,00 €
14,73 €
Voir l’offre
3,00 € Shipping Costs
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

Independently Published

LOGICRAFT COMPUTATIONAL REASONING SYSTEMS: Rule Based Inference Engines for Symbolic Problem Solving and Automation

12,72 €
Comparer 2 magasins 2 magasins

Cambridge University Press

Logic in Computer Science: Modelling and Reasoning about Systems

67,72 €
Comparer 2 magasins 2 magasins

JAG UNIFIED INTERNATIONAL

Modern Developments in Computer Science Engineering and Intelligent Systems

7,41 €
Comparer 2 magasins 2 magasins

Independently Published

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

11,67 €
Comparer 2 magasins 2 magasins
Choix en vedette
11,73 €
Voir l’offre