COMPUTATIONAL LOGIC: Formal reasoning proof systems and declarative programming foundations

Prix à partir de
11,82

En vedette

COMPARER TOUS LES MAGASINS EN LIGNE (2)

Description

COMPUTATIONAL LOGIC: Formal reasoning proof systems and declarative programming foundations

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
11,82 €
3,00 €
14,82 €
Voir l’offre
3,00 € Shipping Costs
Amazon Marketplace Logo
11,82 €
3,00 €
14,82 €
Voir l’offre
3,00 € Shipping Costs
Description (0)

COMPUTATIONAL LOGIC: Formal reasoning proof systems and declarative programming foundations

Spécifications du produit

Marque Independently Published
EAN
  • 9798173696885

Independently Published

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

12,64 €
Comparer 2 magasins 2 magasins

Independently Published

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

11,73 €
Comparer 2 magasins 2 magasins

Sothis Press

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

21,41 €
Comparer 2 magasins 2 magasins

Independently Published

MERCURY programming for LOGIC and AI SYSTEMS: Declarative knowledge bases optimization

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