Logic program synthesis and transformation proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2 - 3 July 1992

Gespeichert in:

Bibliographische Detailangaben
Körperschaften:	Victoria University of Manchester (BerichterstatterIn), International Workshop on Logic Program Synthesis and Transformation (BerichterstatterIn)
Weitere Verfasser:	Lau, Kung-Kiu (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	London u.a. Springer 1993
Schriftenreihe:	Workshops in Computing
Schlagworte:	Ordinateurs - Programmation - Congrès > PROLOG > Programmation logique - Congrès > allocation registre > clause Horn > logique équationnelle > programmation en logique > Logic programming > Softwareentwicklung > Programmtransformation > Logische Programmierung > Transformation > Konferenzschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!