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

Precios a partir de
11,56

Enlaces patrocinados

COMPARAR TODAS LAS TIENDAS WEB (1)

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 (1)

Enlaces patrocinados · Algunas tiendas nos pagan una remuneración

Ordenar por:

11,56 €

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)

55,75 €
Más información Más info

Morgan Kaufmann

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

62,40 €
Más información Más info

Cambridge University Press

Logic in Computer Science: Modelling and Reasoning about Systems

66,76 €
Más información Más info

JAG UNIFIED INTERNATIONAL

Modern Developments in Computer Science Engineering and Intelligent Systems

7,30 €
Más información Más info
Elección Destacada
11,56 €
Ver oferta