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

Precios a partir de
12,46

Destacado

COMPARAR TODAS LAS TIENDAS WEB (2)

Descripción

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

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

Comparar tiendas web (2)

Shop
Precio
Amazon Logo
12,46 €
Ver oferta
Amazon Marketplace Logo
12,46 €
Ver oferta
Descripción (0)

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

Especificaciones del producto

Marca Independently Published
EAN
  • 9798194158102

BoD - Books on Demand

Formal Logic: Propositional Logic, Predicate Modal and Non-Classical Logics

38,86 €
Comparar 2 tiendas 2 tiendas

epubli

Formal Logic: Propositional Logic, Predicate Modal and Non-Classical Logics

39,99 €
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

Advanced Reasoning Forum

Reasoning and formal logic.

27,57 €
Más información Más info
Elección Destacada
12,46 €
Ver oferta