AUTOMATED REASONING: Logical inference theorem proving and intelligent software systems

Precios a partir de
11,65

Destacado

COMPARAR TODAS LAS TIENDAS WEB (2)

Descripción

AUTOMATED REASONING: Logical inference theorem proving and intelligent software systems

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

Comparar tiendas web (2)

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

AUTOMATED REASONING: Logical inference theorem proving and intelligent software systems

Especificaciones del producto

Marca Independently Published
EAN
  • 9798173692702

North-Holland

Automated Theorem Proving: A Logical Basis

57,15 €
Comparar 2 tiendas 2 tiendas

Independently Published

AUTOMATED REASONING IN COMPUTER SCIENCE: SAT Solving Constraint Systems Symbolic Methods Logical...

11,56 €
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

Independently Published

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

23,36 €
Comparar 2 tiendas 2 tiendas
Elección Destacada
11,65 €
Ver oferta