Unification of Idempotent Functions

Kühner, Stefan; Mathis, Chris; Raulefs, Peter; Siekmann, Jörg H.

Unification of Idempotent Functions

Stefan Kühner, Chris Mathis, Peter Raulefs, Jörg H. Siekmann

Download BibTeX Cite

Proceedings of the Fifth International Joint Conference on Artificial Intelligence. Theorem Proving. Pages 528--1.

Abstract

Stefan Kühner, Chris Mathis, Peter Raulefs, and Jörg H. Siekmann. 1977. Unification of Idempotent Functions. In Proceedings of the Fifth International Joint Conference on Artificial Intelligence, IJCAI-77. IJCAI, 528–-1. https://ijcai.org/proceedings/1977/120

@inproceedings{ijcai1977p120,
  title     = {Unification of Idempotent Functions},
  author    = {Kühner, Stefan and Mathis, Chris and Raulefs, Peter and Siekmann, Jörg H.},
  booktitle = {Proceedings of the Fifth International Joint Conference on
               Artificial Intelligence, {IJCAI-77}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Raj Reddy},
  pages     = {528---1},
  year      = {1977},
  note      = {Theorem Proving},
  url       = {https://ijcai.org/proceedings/1977/120},
}

TY  - CPAPER
TI  - Unification of Idempotent Functions
AU  - Kühner, Stefan
AU  - Mathis, Chris
AU  - Raulefs, Peter
AU  - Siekmann, Jörg H.
T2  - Proceedings of the Fifth International Joint Conference on Artificial Intelligence, IJCAI-77
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1977
SP  - 528
EP  - -1
UR  - https://ijcai.org/proceedings/1977/120
ER  -