Obvious Properties of Computer Programs

AAAI 1997 pp. 404-410

/aaai/1997/givan1997aaai-obvious/

Cite

Text

Givan. "Obvious Properties of Computer Programs." AAAI Conference on Artificial Intelligence, 1997.

Markdown

[Givan. "Obvious Properties of Computer Programs." AAAI Conference on Artificial Intelligence, 1997.](https://mlanthology.org/aaai/1997/givan1997aaai-obvious/)

BibTeX

@inproceedings{givan1997aaai-obvious,
  title     = {{Obvious Properties of Computer Programs}},
  author    = {Givan, Robert},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1997},
  pages     = {404-410},
  url       = {https://mlanthology.org/aaai/1997/givan1997aaai-obvious/}
}