TU Darmstadt / ULB / TUbiblio

Solving deductive planning problems using program analysis and transformation

De Waal, André ; Thielscher, :
Solving deductive planning problems using program analysis and transformation.
In: International Workshop on Logic Program Synthesis and Transformation <5, 1995, Utrecht>: Proceedings. Hrsg.: M. Proietti. , 1048 . Springer , New York
[Konferenz- oder Workshop-Beitrag], (1996)

Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
Erschienen: 1996
Autor(en): De Waal, André ; Thielscher,
Titel: Solving deductive planning problems using program analysis and transformation
Sprache: Englisch
Reihe: International Workshop on Logic Program Synthesis and Transformation <5, 1995, Utrecht>: Proceedings. Hrsg.: M. Proietti.
Band: 1048
Ort: New York
Verlag: Springer
Edition: New York: Springer, 1996
Fachbereich(e)/-gebiet(e): Fachbereich Informatik
Hinterlegungsdatum: 19 Nov 2008 15:58
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen