Item Type: |
Conference or Workshop Item
|
Erschienen: |
1996 |
Creators: |
Waal, André de ; Thielscher, |
Type of entry: |
Bibliographie |
Title: |
Solving deductive planning problems using program analysis and transformation |
Language: |
English |
Date: |
1 January 1996 |
Place of Publication: |
New York |
Publisher: |
Springer |
Series: |
International Workshop on Logic Program Synthesis and Transformation <5, 1995, Utrecht>: Proceedings. Hrsg.: M. Proietti. |
Series Volume: |
1048 |
Edition: |
New York: Springer, 1996 |
Divisions: |
20 Department of Computer Science |
Date Deposited: |
19 Nov 2008 15:58 |
Last Modified: |
02 Aug 2021 13:53 |
PPN: |
|
Export: |
|
Suche nach Titel in: |
TUfind oder in Google |