Proof Theory and Logic Programming: Computation as Search

Prix à partir de
77,01

En vedette

COMPARER TOUS LES MAGASINS EN LIGNE (2)

Description

Proof Theory and Logic Programming: Computation as Search

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
77,01 €
3,01 €
80,02 €
Voir l’offre
3,01 € Shipping Costs
Amazon Marketplace Logo
77,01 €
3,01 €
80,02 €
Voir l’offre
3,01 € Shipping Costs
Description (0)

Proof Theory and Logic Programming: Computation as Search

Spécifications du produit

Marque Cambridge University Press
EAN
  • 9781009561297

BoD - Books on Demand

From Code to Computation: A Modern Guide Programming and Theory

27,31 €
Comparer 2 magasins 2 magasins

Independently Published

INTERACTIVE THEOREM PROVING: Proof Assistants Formal Logic Mathematical Reasoning and Verified Computation

12,74 €
Comparer 2 magasins 2 magasins

Independently Published

INTELLIGENCE: Volume 2 — The Machinery of Proof: How Logic, Mathematics, and...

18,30 €
Comparer 2 magasins 2 magasins

Cambridge University Press

Mathematical Logic and Computation

89,93 €
Comparer 2 magasins 2 magasins
Choix en vedette
77,01 €
Voir l’offre