Explanation-based transformation of logic programs / Henrik Boström
Saved in:
| Superior document: | Report series / Kungliga Tekniska Högskolan Stockholm, Department of Computer Systems 93-029 |
|---|---|
| VerfasserIn: | |
| Place / Publishing House: | Stockholm : Stockholm Univ., 1993 |
| Year of Publication: | 1993 |
| Language: | English |
| Series: | Report series / Kungliga Tekniska Högskolan Stockholm, Department of Computer Systems
93-029 |
| Physical Description: | 178 S. |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| LEADER | 00944nam#a2200325#cb4500 | ||
|---|---|---|---|
| 001 | 990003237470504498 | ||
| 005 | 20230426175140.0 | ||
| 007 | tu | ||
| 008 | 171123|1993####|||######m####|||#0#eng#c | ||
| 009 | AC14498512 | ||
| 016 | 7 | |a 916760379 |2 OCoLC | |
| 020 | |a 917153167X | ||
| 035 | |a (AT-OBV)AC14498512 | ||
| 035 | |a AC14498512 | ||
| 035 | |a (Aleph)014402416ACC01 | ||
| 035 | |a (DE-599)BVBBV024788368 | ||
| 035 | |a (EXLNZ-43ACC_NETWORK)990144024160203331 | ||
| 040 | |a OAW |b ger |d OAW |e rakwb | ||
| 041 | |a eng | ||
| 044 | |c XA-SE | ||
| 084 | |a ST 230 |2 rvk | ||
| 090 | |h g | ||
| 100 | 1 | |a Boström, Henrik |4 aut | |
| 245 | 1 | 0 | |a Explanation-based transformation of logic programs |c Henrik Boström |
| 264 | 1 | |a Stockholm |b Stockholm Univ. |c 1993 | |
| 300 | |a 178 S. | ||
| 490 | 1 | |a Report series / Kungliga Tekniska Högskolan Stockholm, Department of Computer Systems |v 93-029 | |
| 502 | |a Zugl.: Stockholm, Univ., Diss., 1993 | ||
| 830 | 0 | |w (AT-OBV)AC08437909 |v 93,029 | |
| 970 | 1 | |c 24 | |
| 970 | 4 | |b BVBKAT | |
| ADM | |b 2023-04-26 17:51:40 Europe/Vienna |d 20 |f System |c marc21 |a 2018-12-24 05:36:57 Europe/Vienna |g false | ||
| HOL | 8 | |b YWOAW |h 24607-C |c MAG1-3 |8 2214904880004498 | |
| 852 | 8 | |b YWOAW |c MAG1-3 |h 24607-C |8 2214904880004498 | |
| ITM | |9 2214904880004498 |e 1 |m BOOK |b +YW20766604 |i OAW-11392 |2 MAG1-3 |o 20140324 |8 2314904870004498 |f 02 |p 2001-12-17 01:00:00 Europe/Vienna |h 24607-C |1 YWOAW |q 2022-06-09 11:19:51 Europe/Vienna | ||