Nishimura et al. "Gentzen-Type Formel System Representing Properties of Function and Its Implementation." International Joint Conference on Artificial Intelligence, 1975.
Markdown
[Nishimura et al. "Gentzen-Type Formel System Representing Properties of Function and Its Implementation." International Joint Conference on Artificial Intelligence, 1975.](https://mlanthology.org/ijcai/1975/nishimura1975ijcai-gentzen/)
BibTeX
@inproceedings{nishimura1975ijcai-gentzen,
title = {{Gentzen-Type Formel System Representing Properties of Function and Its Implementation}},
author = {Nishimura, T. and Nakanishi, M. and Nogeta, M. and Iwamaru, Y.},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1975},
pages = {57-64},
url = {https://mlanthology.org/ijcai/1975/nishimura1975ijcai-gentzen/}
}