Lock, Linear Lambda-Paramodulation in Operator Fuzzy Logic

Cite

Text

Liu. "Lock, Linear Lambda-Paramodulation in Operator Fuzzy Logic." International Joint Conference on Artificial Intelligence, 1989.

Markdown

[Liu. "Lock, Linear Lambda-Paramodulation in Operator Fuzzy Logic." International Joint Conference on Artificial Intelligence, 1989.](https://mlanthology.org/ijcai/1989/liu1989ijcai-lock/)

BibTeX

@inproceedings{liu1989ijcai-lock,
  title     = {{Lock, Linear Lambda-Paramodulation in Operator Fuzzy Logic}},
  author    = {Liu, Xuhua},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1989},
  pages     = {435-440},
  url       = {https://mlanthology.org/ijcai/1989/liu1989ijcai-lock/}
}