Logic program synthesis and transformation - meta-programming in logic: proceedings
Berlin [u.a.]: Springer, 1994
Konferenzschrift, Sammelwerk, Gedruckte Ressource
- IX, 450 S. : graph. Darst.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Logic program synthesis and transformation - meta-programming in logic: proceedings
|
---|---|
Verantwortlichkeitsangabe: | 4th International Workshops LOPSTR '94 and META '94, Pisa, Italy, June 20 - 21, 1994. Laurent Fribourg ... (ed.) |
Autor/in / Beteiligte Person: | Fribourg, Laurent |
Körperschaft: | LOPSTR ; META |
Verwandtes Werk: | |
Veröffentlichung: | Berlin [u.a.]: Springer, 1994 |
Medientyp: | Konferenzschrift, Sammelwerk |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | IX, 450 S. : graph. Darst. |
ISBN: | 3540587926 (Berlin ...) Gb. : DM 86.00 |
Schlagwort: |
|
Sonstiges: |
|