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!
|
Similar Items
-
Explanation and deduction : a defence of deductive chauvinism / Henrik Hållsten
by: Hållsten, Henrik
Published: (2001) -
Morphological and systematic studies of the familiy Cephalobidae : (Nematoda: Rabditida) / by Sven Boström
by: Boström, Sven
Published: (1988) -
Good moaning France! : : Officer Crabtree's Fronch phrose berk / / Arthur Bostrom ; with a foreword by Rick Wakeman ; illustrations by John Cooper.
by: Bostrom, Arthur,
Published: ([2018]) -
Att Möjliggöra Tekniklärande I Konstruktionsaktiviteter : : En Aktionsforskningsstudie I Förskolan.
by: Boström, Johan.
Published: (2022.) -
Epidemiological Studies of Multiple Sclerosis in Sweden with Focus on the County of Värmland.
by: Boström, Inger.
Published: (2012.)