A translator for the conversion of graphical geometric figures to first-order logic description.

Yang Yang, Charles Dierbach

Browse the full CATA paper archive.