Plan generation by linear deduction

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Schneeberger, Josef (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	1992
Schlagworte:	Automatisches Beweisverfahren > Planungssystem > Hochschulschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	Darmstadt, Techn. Hochsch., Diss., 1992
Beschreibung:	IV, 156 S. graph. Darst.