COMPUTATIONAL LOGIC: Formal reasoning proof systems and declarative programming foundations

Precios a partir de
11,65

Destacado

COMPARAR TODAS LAS TIENDAS WEB (2)

Descripción

COMPUTATIONAL LOGIC: Formal reasoning proof systems and declarative programming foundations

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)

COMPUTATIONAL LOGIC: Formal reasoning proof systems and declarative programming foundations

Especificaciones del producto

Marca Independently Published
EAN
  • 9798173696885

Independently Published

Logic and COMPUTATIONAL Proof SYSTEMS: Propositional Predicate Calculus Search Automated Deduction Formal Reasoning

12,46 €
Comparar 2 tiendas 2 tiendas

Independently Published

MATHEMATICAL FOUNDATIONS OF COMPUTER VERIFICATION: Logic Set Theory Formal Languages Proof Techniques...

11,56 €
Comparar 2 tiendas 2 tiendas

Association for Computing Machinery

Declarative Logic Programming: Theory, Systems, and Applications (ACM Books)

103,41 €
Más información Más info

Sothis Press

Foundations of Formal Logic: A clear introduction to symbolic reasoning, categorical forms,...

21,10 €
Comparar 2 tiendas 2 tiendas
Elección Destacada
11,65 €
Ver oferta