Logic program synthesis and transformation 7th international workshop ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	LOPSTR
Weitere Verfasser:	Fuchs, Norbert E. (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin Springer 1998
Schriftenreihe:	Lecture notes in computer science 1463
Schlagworte:	Logische Programmierung > Programmtransformation > Programmschema > Programmsynthese > Automatisches Beweisverfahren > Konferenzschrift
Online Zugang:	Cover Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!