How to Prove Higher Order Theorems in First Order Logic

Kerber, Manfred

How to Prove Higher Order Theorems in First Order Logic

Manfred Kerber

IJCAI 1991 pp. 137-142

/ijcai/1991/kerber1991ijcai-prove/

PDF Semantic Scholar

Cite

Text

Kerber. "How to Prove Higher Order Theorems in First Order Logic." International Joint Conference on Artificial Intelligence, 1991.

Markdown

[Kerber. "How to Prove Higher Order Theorems in First Order Logic." International Joint Conference on Artificial Intelligence, 1991.](https://mlanthology.org/ijcai/1991/kerber1991ijcai-prove/)

BibTeX

@inproceedings{kerber1991ijcai-prove,
  title     = {{How to Prove Higher Order Theorems in First Order Logic}},
  author    = {Kerber, Manfred},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1991},
  pages     = {137-142},
  url       = {https://mlanthology.org/ijcai/1991/kerber1991ijcai-prove/}
}