Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € ACS-Stelle 4.99 € Box Now 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Logic Program Synthesis and Transformation - Meta-Programming in Logic

Name: Logic Program Synthesis and Transformation - Meta-Programming in Logic
Brand: Springer, Berlin
SKU: 05274447
Price: 51.78 EUR
Availability: InStock
Author: Laurent Fribourg
ISBN: 9783540587927

4th International Workshop, LOPSTR '94 and META '94, Pisa, Italy, June 20-21, 1994. Proceedings

Laurent Fribourg

Franco Turini

Sprache

Englisch

Buch Broschur

Libristo-Code: 05274447

Verlag Springer, Berlin, November 1999

This volume constitutes the combined proceedings of the 4th International Workshops on Logic Program... Vollständige Beschreibung

Libristo-Code: 05274447

125 b

51.78 €

Externes Lager Wir versenden in 5-8 Tagen

Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Le lendemain Vaillant

Hardcover

25.12 €

Edgar Allan Poe. Cinque passi nell'incubo Corrado Roi

Hardcover

31.91 €

L'Homme au passe-montagne Guyotat

Broschur

23.00 €

Sadistova bible Nicole Cushing

Broschur

9.92 €

Kopfschmerztagebuch Sebastian Lange

Broschur

5.67 €

Suomen mestari 2. Suomen kielen oppikirja aikuisille. Учебник Соня Геринг

Broschur

53.80 €

Enganchados en la droga SANCHEZ

Broschur

3.94 €

Santé - L'EDD par étude de cas 6 CDRom - Licence Bibliothèque+prêt Project

Digital CD

101.84 €

Memoires de mode Buch

Broschur

10.83 €

Histoire 2nde - Livre Élève - Ed. 2019

Hardcover

47.22 €

El selfie del mundo MARCO D'ERAMO

Audio CD

29.89 €

La Biblia, lee y aprende Sophie Piper

Broschur

24.62 €

Terrorismo y proceso penal acusatorio Juan-Luis Gómez Colomer

Broschur

61.81 €

Explora 1 zeszyt ćwiczeń Karolina Hadło

Broschur

10.23 €

Hombre luna Tomi Ungerer

Broschur

17.22 €

Modelo de Gestion Balanced Scorecard para mejorar la calidad de servicio de atencion al cliente Christian Martel

Broschur

42.86 €

Soundwürfel Bauernhof

Spielzeug

13.47 €

Bewußtheit durch Bewegung Moshé Feldenkrais

Broschur

10.94 €

Programa de capacitaciones al personal de ventas Yadira Betzabeth Baja?a Briones

Broschur

49.04 €

'Horace' - Wie Corneille anhand der Figur der Camille in einem Richelieu gewidmeten Theaterstuck Staatskritik uben konnte Katharina Krings

Broschur

16.21 €

This volume constitutes the combined proceedings of the 4th International Workshops on Logic Program Synthesis and Transformation (LOPSTR '94) and on Meta-Programming (META '94), held jointly in Pisa, Italy in June 1994.This book includes thoroughly revised versions of the best papers presented at both workshops. The main topics addressed by the META papers are language extensions in support of meta-logic, semantics of meta-logic, implementation of meta-logic features, performance of meta-logic, and several applicational aspects. The LOPSTR papers are devoted to unfolding/folding, partial deduction, proofs as programs, inductive logic programming, automated program verification, specification and programming methodologies.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Logic Program Synthesis and Transformation - Meta-Programming in Logic

Autor Laurent Fribourg, Franco Turini

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2000

Anzahl der Seiten 458

EAN 9783540587927

ISBN 3540587926

Libristo-Code 05274447

Verlag Springer, Berlin

Gewicht 602

Abmessungen 156 x 234 x 23

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Objektorientierte Programmierung (OOP)

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert