ML Anthology

A New Mehtod for Proving Certain Presburger Formules

W. W. Bledsoe
IJCAI 1975 pp. 15-21
/ijcai/1975/bledsoe1975ijcai-new/
PDF Semantic Scholar

Cite

Text

Bledsoe. "A New Mehtod for Proving Certain Presburger Formules." International Joint Conference on Artificial Intelligence, 1975.

Markdown

[Bledsoe. "A New Mehtod for Proving Certain Presburger Formules." International Joint Conference on Artificial Intelligence, 1975.](https://mlanthology.org/ijcai/1975/bledsoe1975ijcai-new/)

BibTeX

@inproceedings{bledsoe1975ijcai-new,
  title     = {{A New Mehtod for Proving Certain Presburger Formules}},
  author    = {Bledsoe, W. W.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1975},
  pages     = {15-21},
  url       = {https://mlanthology.org/ijcai/1975/bledsoe1975ijcai-new/}
}