ML Anthology

Goal-Directed Equation Solving

Nachum Dershowitz, G. Sivakumar
AAAI 1988 pp. 166-170
/aaai/1988/dershowitz1988aaai-goal/
PDF AAAI Semantic Scholar

Cite

Text

Dershowitz and Sivakumar. "Goal-Directed Equation Solving." AAAI Conference on Artificial Intelligence, 1988.

Markdown

[Dershowitz and Sivakumar. "Goal-Directed Equation Solving." AAAI Conference on Artificial Intelligence, 1988.](https://mlanthology.org/aaai/1988/dershowitz1988aaai-goal/)

BibTeX

@inproceedings{dershowitz1988aaai-goal,
  title     = {{Goal-Directed Equation Solving}},
  author    = {Dershowitz, Nachum and Sivakumar, G.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1988},
  pages     = {166-170},
  url       = {https://mlanthology.org/aaai/1988/dershowitz1988aaai-goal/}
}