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

Precios a partir de
12,46

Enlaces patrocinados

COMPARAR TODAS LAS TIENDAS WEB (1)

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

Enlaces patrocinados · Algunas tiendas nos pagan una remuneración

Ordenar por:

12,46 €

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 €
Más información Más info

epubli

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

39,99 €
Más información Más info

Independently Published

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

11,56 €
Más información Más info

Sothis Press

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

21,10 €
Más información Más info
Elección Destacada
12,46 €
Ver oferta