Logic program synthesis using schema instantiation in an interactive environment
著者
書誌事項
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
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Bibliography: p. [145]-153
Thesis (doctoral)--University of Stockholm, 1995
