Logic program synthesis using schema instantiation in an interactive environment
By: Anna-Lena Johansson
Contributors: Stockholms universitet
Series: Report series / Department of Computer and Systems Sciences -- no. 95-50; Report series -- no. 95-050
Publisher: [s.n.]; Department of Computer and Systems Sciences
Published: 1995
Place of publication: [s.l.]; Kista
Language: eng
Number of pages: 195
ISBN-13: 9789171534149
Notes: Tevens proefschrift Stockholm.

Thesis (doctoral)--Stockholm University, 1995.

Met lit. opg.