Masami Hagiya. 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. pages 234-236, IEEE Computer Society, 1992.
@inproceedings{Hagiya92,
title = {A Formal Approach to Visual Proving Based on Logic Programming},
author = {Masami Hagiya},
year = {1992},
tags = {rule-based, logic programming, programming, logic, systematic-approach},
researchr = {https://researchr.org/publication/Hagiya92},
cites = {0},
citedby = {0},
pages = {234-236},
booktitle = {Proceedings of the 1992 IEEE Workshop on Visual Languages, September 15-18, 1992, Seattle, Washington, USA},
publisher = {IEEE Computer Society},
isbn = {0-8186-3090-6},
}