ModGen: Theorem Proving by Model Generation

AAAI 1994 pp. 162-167

/aaai/1994/kim1994aaai-modgen/

Cite

Text

Kim and Zhang. "ModGen: Theorem Proving by Model Generation." AAAI Conference on Artificial Intelligence, 1994.

Markdown

[Kim and Zhang. "ModGen: Theorem Proving by Model Generation." AAAI Conference on Artificial Intelligence, 1994.](https://mlanthology.org/aaai/1994/kim1994aaai-modgen/)

BibTeX

@inproceedings{kim1994aaai-modgen,
  title     = {{ModGen: Theorem Proving by Model Generation}},
  author    = {Kim, Sun and Zhang, Hantao},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1994},
  pages     = {162-167},
  url       = {https://mlanthology.org/aaai/1994/kim1994aaai-modgen/}
}