Logic oriented program synthesis

Bibliographische Detailangaben

Hauptverfasser:	Kreitz, Christoph (VerfasserIn), Neugebauer, Gerd (VerfasserIn), Fronhöfer, Bertram (VerfasserIn)
Format:	Buch
Sprache:	German
Veröffentlicht:	München Inst. für Informatik 1988
Schriftenreihe:	Forschungsberichte Künstliche Intelligenz 90
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!