Author: Masami Hagiya
Publication Overview
Publication period start: 1995
Number of co-authors: 1
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
Publications
Hagiya,
Masami
(1992):
A Formal Approach to Visual Proving Based on Logic Programming.
In:
Proceedings of the 1992 IEEE Workshop on Visual Languages
September 15-18,
1992,
Seattle, Washington, USA.
pp. 234-236.
Hagiya,
Masami,
Shiratori,
Tomoki
(1995):
Programming by Example in Computing-as-Editing Paradigm.
In:
VL 1995
,
1995,
.
pp. 275-283.
https://csdl.computer.org/comp/proceedings/vl/1995/7045/00/70450275abs.htm