Sandewall. "Conversion of Predicate-Calculus Axioms, Viewed as Non-Deterministic Programs, to Corresponding Deterministic Programs." International Joint Conference on Artificial Intelligence, 1973.
Markdown
[Sandewall. "Conversion of Predicate-Calculus Axioms, Viewed as Non-Deterministic Programs, to Corresponding Deterministic Programs." International Joint Conference on Artificial Intelligence, 1973.](https://mlanthology.org/ijcai/1973/sandewall1973ijcai-conversion/)
BibTeX
@inproceedings{sandewall1973ijcai-conversion,
title = {{Conversion of Predicate-Calculus Axioms, Viewed as Non-Deterministic Programs, to Corresponding Deterministic Programs}},
author = {Sandewall, Erik},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1973},
pages = {230-234},
url = {https://mlanthology.org/ijcai/1973/sandewall1973ijcai-conversion/}
}