Proof Theory and Logic Programming: Computation as Search

Prix à partir de
74,40

En vedette

COMPARER TOUS LES MAGASINS EN LIGNE (1)

Description

Amazon Proof Theory and Logic Programming: Computation as Proof Search
Description Description
Product Specifications Spécifications du produit
Résultats connexes Résultats connexes
Next
Previous

Comparer les boutiques en ligne (1)

Shop
Prix
Affranchissement
Prix total
Amazon Logo
74,40 €
3,00 €
77,40 €
Voir l’offre
3,00 € Shipping Costs
Description (1)

Proof Theory and Logic Programming: Computation as Proof Search

Spécifications du produit

Marque Cambridge University Press
EAN
  • 9781009561297

Books On Demand

From Code to Computation: A Modern Guide Programming and Theory

27,31 €
Comparer 2 magasins 2 magasins

Independently Published

LEAN PROGRAMMING for FORMAL SOFTWARE VERIFICATION: Mathematical proof systems and logical frameworks verified computation

11,78 €
Comparer 2 magasins 2 magasins

Cambridge University Press

Mathematical Logic and Computation

90,00 €
Plus d'informations Plus infos

Independently Published

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

18,30 €
Comparer 2 magasins 2 magasins
Choix en vedette
74,40 €
Voir l’offre