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

@inproceedings{Yang1999ATF,
  title={A translator for the conversion of graphical geometric figures to first-order logic description},
  author={Yang Yang and Charles Dierbach},
  booktitle={Computers and Their Applications},
  year={1999}
}

From This Paper

Figures, tables, results, connections, and topics extracted from this paper.
1 Extracted Citations
0 Extracted References
Similar Papers

Citing Papers

Publications influenced by this paper.

Similar Papers

Loading similar papers…