Freunden von diesem Artikel berichten:
Logic Program Synthesis and Transformation: 5th International Workshop, Lopstr '95, Utrecht, the Netherlands, September 20-22, 1995. Proceedings - Lecture Notes in Computer Science
Maurizio Proietti
Preis
€ 60,99
Bestellware
Lieferdatum: ca. 29. Mai - 10. Jun
Zu deiner iMusic Wunschliste hinzufügen
Logic Program Synthesis and Transformation: 5th International Workshop, Lopstr '95, Utrecht, the Netherlands, September 20-22, 1995. Proceedings - Lecture Notes in Computer Science
Maurizio Proietti
These conference proceedings offer an up-to-date account of the use of formal synthesis and transformation techniques for computer-aided development of logic programs. Topics addressed include deductive and inductive program synthesis and synthesis models based on constructive type theory.
274 pages, biography
Medien | Bücher Taschenbuch (Buch mit Softcover und geklebtem Rücken) |
Erscheinungsdatum | 6. März 1996 |
ISBN13 | 9783540609391 |
Verlag | Springer-Verlag Berlin and Heidelberg Gm |
Seitenanzahl | 274 |
Maße | 156 × 234 × 15 mm · 399 g |
Redakteur | Proietti, Maurizio |
Alle anzeigen
Weitere Titel von Maurizio Proietti
Alle Titel von Maurizio Proietti ansehen ( u. a. Buch und Taschenbuch )