| 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 |
Drucken
Impressum