Proof Theory and Logic Programming: Computation as Search

Cambridge University Press
Proof Theory and Logic Programming: Computation as Search

Image de Proof Theory and Logic Programming: Computation as Search

Prix à partir de

72,08

En vedette

	72,08 €	Voir l’offre
	72,08 €	Voir l’offre

Description

Amazon Proof Theory and Logic Programming: Computation as Proof Search

Comparer les boutiques en ligne (2)

Shop

Prix

Affranchissement

Prix total

72,08 €

Gratuit

72,08 €

Voir l’offre

Gratuit

72,08 €

Gratuit

72,08 €

Voir l’offre

Gratuit

Description (1)

Proof Theory and Logic Programming: Computation as Proof Search

Spécifications du produit

Marque	Cambridge University Press
EAN	9781009561297

Prix mis à jour pour la dernière fois le : 03-06-2026, 02:04

Springer

Proof Theory and Algebra in Logic

36,99 €

Comparer 2 magasins 2 magasins

Books On Demand

From Code to Computation: A Modern Guide Programming and Theory: 1

23,99 €

Comparer 2 magasins 2 magasins

Independently Published

Logic Programming and Prolog: A Practical Guide to Symbolic Computation, Rule Based...

28,27 €

Comparer 2 magasins 2 magasins

Independently Published

Model Theory versus Proof within General Algebraic Logic

223,30 €

Comparer 2 magasins 2 magasins

Choix en vedette

72,08 €

Voir l’offre