TU Darmstadt
ULB
TUbiblio
Blättern nach Person
Ebene hoch |
Anzahl der Einträge: 1.
Konferenzveröffentlichung
Waal, André de ; Thielscher, (1996)
Solving deductive planning problems using program analysis and transformation.
Konferenzveröffentlichung, Bibliographie