Logic program synthesis using schema instantiation in an interactive environment
Author(s)
Bibliographic Information
Logic program synthesis using schema instantiation in an interactive environment
（Report series / Department of Computer and Systems Sciences, No.95-050）
Department of Computer and Systems Sciences, Stockholm University , Royal Institute of Technology, 1995
Available at / 1 libraries
-
No Libraries matched.
- Remove all filters.
Note
Bibliography: p. [145]-153
Thesis (doctoral)--University of Stockholm, 1995
