Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Logic Programming

Name: Logic Programming
Brand: Cambridge University Press
SKU: 02037273
Price: 55.89 EUR
Availability: InStock
Author: Andrews
ISBN: 9780521607544

Operational Semantics and Proof Theory

Andrews

James H. (Simon Fraser University

British Columbia)

Lingua

Inglese

Libro In brossura

Codice Libristo: 02037273

Casa editrice Cambridge University Press, agosto 2004

Dr Andrews here provides a homogeneous treatment of the semantics (operational and logical) of both... Descrizione completa

Codice Libristo: 02037273

137 b

55.89 €

Magazzino esterno Inviamo tra 14-21 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

El cuerpo de maquinistas de la Armada Española (1850-1950) Vega

In brossura

18.19 €

Welch grausame Gnade Chloe Gong

Rigido

20.59 €

Manuale di architettura d'interni Riccardo Salvi

In brossura

31.39 €

Проектирование технологической оснастки. Учебное пособие для СПО, 2-е изд., стер. В.Ю. Блюменштейн

Rigido

33.59 €

Räucherstäbchen Auroshikha "Palo Santo" 10g Gioco/giocattolo

Giocattolo

4.99 €

MOUNT ZION HEAD

CD audio

17.09 €

Personnages secondaires Alejandro Zambra

In brossura

22.99 €

Bescherelle Claude Kannas

In brossura

8.19 €

Désaxé Kepler

In brossura

30.39 €

Le carnet d'Emile - Blanc, 96p, A5 - Têtes de mort

Agenda

10.99 €

Reise zur Deutschen Front Ludwig Ganghofer

In brossura

8.49 €

Krankenpflege Im Hause Und Im Hospitale Theodor Billroth

In brossura

32.69 €

Finanční gramotnost pro druhý stupeň základní školy Petr Jakeš

In brossura

3.29 €

Čarodějův učeň Otfried Preussler

Rigido

18.29 €

Dr Andrews here provides a homogeneous treatment of the semantics (operational and logical) of both theoretical and practical logic programming languages. He shows how the rift between theory and practice in logic programming can be bridged. This is achieved by precisely characterizing the way in which 'depth-first' search for solutions to a logical formula - the usual strategy in most practical languages - is incomplete. Languages that perform 'breadth-first' searches reflect more closely the theory underlying logic programming languages. Researchers interested in logic programming or semantics, as well as artificial intelligence search strategies, will want to consult this book as the only source for some essential and new ideas in the area.