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 |