Author: Masami Hagiya
Publications
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