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

Prix à partir de
12,70

En vedette

COMPARER TOUS LES MAGASINS EN LIGNE (2)

Description

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

Description Description
Product Specifications Spécifications du produit
Résultats connexes Résultats connexes
Next
Previous

Comparer les boutiques en ligne (2)

Trier par:

12,70 €

12,70 €

Description (0)

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

Spécifications du produit

Marque Independently Published
EAN
  • 9798194158102

epubli

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

39,99 €
Comparer 2 magasins 2 magasins

BoD - Books on Demand

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

39,62 €
Comparer 2 magasins 2 magasins

Springer Verlag

Propositional and Predicate Calculus: A Model of Argument

42,15 €
Comparer 2 magasins 2 magasins

Independently Published

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

11,79 €
Comparer 2 magasins 2 magasins
Choix en vedette
12,70 €
Voir l’offre