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)

Shop
Prix
Affranchissement
Prix total
Amazon Logo
12,70 €
Gratuit
12,70 €
Voir l’offre
Gratuit Shipping Costs
Amazon Marketplace Logo
12,70 €
Gratuit
12,70 €
Voir l’offre
Gratuit Shipping Costs
Description (0)

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

Spécifications du produit

Marque Independently Published
EAN
  • 9798194158102

BoD - Books on Demand

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

39,62 €
Comparer 2 magasins 2 magasins

epubli

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

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