Livraison gratuite à partir de 69.99 euros.

Vérifier l'état de la commande

Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement

Livraison gratuite avec Zásilkovna à partir de 69.99 €

Coursier DPD 5.99 € Point Bpost 7.99 € Bpost 7.49 € Point DPD 3.49 € Service de messagerie GLS 4.99 €

Contact

Comment faire ses achats

Assistance

Mon compte

▸ Vide :-(

Livraison gratuite à partir de 69.99 euros.

Logic Program Synthesis and Transformation

Name: Logic Program Synthesis and Transformation
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 03619025
Price: 51.38 EUR
Availability: InStock
Author: Norbert E. Fuchs
ISBN: 9783540650744

7th International Workshop, LOPSTR '97, Leuven, Belgium, July 10-12, 1997 Proceedings

Norbert E. Fuchs

Langue

Anglais

Livre Livre de poche

Code Libristo: 03619025

Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, septembre 1998

This volume contains the papers from the Seventh International Workshop on Logic Program Synthesis a... Description détaillée

Code Libristo: 03619025

125 b

51.38 €

Stockage externe Expédition sous 5-8 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Arachne Georg Ebers

Livre de poche

31.07 €

Agenda zen 2023 collegium

Livre

17.99 €

Die Genossenschaften in einzelnen Gewerbszweigen Hermann Schulze-Delitzsch

Livre de poche

22.42 €

CATANIA, BITLLET D'ANADA ROCA

Livre de poche

13.47 €

La Tradizione Domenico Gentile

Livre relié

20.51 €

Le rapatriement sanitaire par transport aerien medicalise, a usage civil et militaire Edouard Obadia

Adobe ePub DRM

51.41 €

Patrím do tvojho sveta Abby Jimenez

Livre relié

17.99 €

Tito Sokolaj

MP3

5.52 €

Коли щось пiшло не так Barbara Gozzi

Livre de poche

16.48 €

Wielkie dzięki Kinga Janaszek

Livre relié

6.12 €

La senda del pintxo (Pamplona-Iruña y comarca) Azpeitia Salvador

Livre de poche

29.06 €

Cardiología pediátrica y cardiopatías congénitas del niño y del adolescente (Volumen II) Albert Brotons

Livre relié

54.80 €

Das päpstliche Lehramt auf dem Prüfstand der Geschichte Matthias Daufratshofer

Livre relié

49.77 €

Język polski ćwiczenia dla klasy 7 między nami część 2 wersja a szkoła podstawowa Agnieszka Łuczak

Livre de poche

5.02 €

Nadie Me Quita La Vida Javier Uribe

Livre de poche

11.16 €

Nematodenembryonen in der Haut des Hundes Johann Georg Schneider

Livre de poche

11.66 €

Los arroces : semillas sorprendentes Catherine Madani

Livre de poche

14.37 €

Le General Savalis: Son Portrait, Sa Vie De Roldan-C

Livre de poche

13.27 €

Explosive, 1 Audio-CD David Garrett

CD Audio

25.13 €

This volume contains the papers from the Seventh International Workshop on Logic Program Synthesis and Transformation, LOPSTR '97, that took place in Leuven, Belgium, on July 10–12, 1997, 'back to back' with the Fourteenth International Conference on Logic Programming, ICLP '97. Both ICLP and LOPSTR were organised by the K.U. Leuven Department of Computer Science. LOPSTR '97 was sponsored by Compulog Net and by the Flanders Research Network on Declarative Methods in Computer Science. LOPSTR '97 had 39 participants from 13 countries. There were two invited talks by Wolfgang Bibel (Darmstadt) on 'A multi level approach to program synthesis', and by Henning Christiansen (Roskilde) on 'Implicit program synthesis by a reversible metainterpreter'. Extended versions of both talks appear in this volume. There were 19 technical papers accepted for presentation at LOPSTR '97, out of 33 submissions. Of these, 15 appear in extended versions in this volume. Their topics range over the fields of program synthesis, program transformation, program analysis, tabling, metaprogramming, and inductive logic programming.