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 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Logic Program Synthesis and Transformation

Name: Logic Program Synthesis and Transformation
Brand: Springer, Berlin
SKU: 05274555
Price: 53.79 EUR
Availability: InStock
Author: Maurizio Proietti
ISBN: 9783540609391

5th International Workshop, Utrecht, The Netherlands, September 20-22, 1995. Proceedings

Maurizio Proietti

Sprache

Englisch

Buch Broschur

Libristo-Code: 05274555

Verlag Springer, Berlin, November 1995

This book constitutes the refereed proceedings of the 5th International Workshop on Logic Program Sy... Vollständige Beschreibung

Libristo-Code: 05274555

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Germanistik - Forschungsstand und Perspektiven, Teil 1, Germanistische Sprachwissenschaft, Didaktik der Deutschen Sprache und Literatur Georg Stötzel

Hardcover

216.89 €

Des Effets de la Derivation Et Deuxieme Appendice A Mes Observations GONDRET-L-F

Broschur

14.19 €

Alpha - Tome 13 - Le Syndrome de Maracamba Jigounov Iouri

Hardcover

18.79 €

AVUI M'HE COMPRAT UNA DESTRAL RUPPMANN TOBELLA

Broschur

25.69 €

Seide von Alessandro Baricco (Lekturehilfe) Catherine Bourguignon

Adobe ePub DRM

11.89 €

This book constitutes the refereed proceedings of the 5th International Workshop on Logic Program Synthesis and Transformation, LOPSTR'95, held in Utrecht, The Netherlands in September 1995.The 19 papers included were selected from 40 workshop submissions; they offer a unique up-to-date account of the use of formal synthesis and transformation techniques for computer-aided development of logic programs. Among the topics addressed are deductive and inductive program synthesis, synthesis models based on constructive type theory, program specification, program analysis, theorem proving, and applications to various types of programs.

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

Autor Maurizio Proietti

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 1996

Anzahl der Seiten 274

EAN 9783540609391

ISBN 3540609393

Libristo-Code 05274555

Verlag Springer, Berlin

Gewicht 378

Abmessungen 156 x 234 x 15

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 > 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