Proof Transformation Towards Human Reasoning Style

Xiaorong Huang. Proof Transformation Towards Human Reasoning Style. In Dieter Metzing, editor, GWAI-89, 13th German Workshop on Artificial Intelligence, Eringerfeld, 18.-22. September 1989, Proceedings. Volume 216 of Informatik-Fachberichte, pages 37-42, Springer, 1989.

Abstract

Abstract is missing.