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

Precios a partir de
11,56

Destacado

COMPARAR TODAS LAS TIENDAS WEB (2)

Descripción

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

Description Descripción
Product Specifications Especificaciones del producto
Resultados relacionados Resultados relacionados
Next
Previous

Comparar tiendas web (2)

Shop
Precio
Amazon Logo
11,56 €
Ver oferta
Amazon Marketplace Logo
11,56 €
Ver oferta
Descripción (0)

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

Especificaciones del producto

Marca Independently Published
EAN
  • 9798194154524

Springer

Neuro Symbolic Reasoning and Learning (SpringerBriefs in Computer Science)

56,26 €
Comparar 2 tiendas 2 tiendas

Independently Published

LOGICRAFT Computational REASONING SYSTEMS: Rule Based Inference Engines for Symbolic Problem Solving...

12,54 €
Comparar 2 tiendas 2 tiendas

Morgan Kaufmann

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

62,40 €
Comparar 2 tiendas 2 tiendas

Cambridge University Press

Logic in Computer Science: Modelling and Reasoning about Systems

66,76 €
Comparar 2 tiendas 2 tiendas
Elección Destacada
11,56 €
Ver oferta