Complete Inference Rules for the Cancellation Laws

Hsiang, Jieh; Rusinowitch, Michaël; Sakai, Kô

Complete Inference Rules for the Cancellation Laws

Jieh Hsiang, Michaël Rusinowitch, Kô Sakai

Download BibTeX Cite

Proceedings of the Tenth International Joint Conference on Artificial Intelligence. Reasoning. Pages 990-991.

Abstract

Jieh Hsiang, Michaël Rusinowitch, and Kô Sakai. 1987. Complete Inference Rules for the Cancellation Laws. In Proceedings of the Tenth International Joint Conference on Artificial Intelligence, IJCAI-87. IJCAI, 990–991. https://ijcai.org/proceedings/1987/204

@inproceedings{ijcai1987p204,
  title     = {Complete Inference Rules for the Cancellation Laws},
  author    = {Hsiang, Jieh and Rusinowitch, Michaël and Sakai, Kô},
  booktitle = {Proceedings of the Tenth International Joint Conference on
               Artificial Intelligence, {IJCAI-87}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {John McDermott},
  pages     = {990--991},
  year      = {1987},
  note      = {Reasoning},
  url       = {https://ijcai.org/proceedings/1987/204},
}

TY  - CPAPER
TI  - Complete Inference Rules for the Cancellation Laws
AU  - Hsiang, Jieh
AU  - Rusinowitch, Michaël
AU  - Sakai, Kô
T2  - Proceedings of the Tenth International Joint Conference on Artificial Intelligence, IJCAI-87
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1987
SP  - 990
EP  - 991
UR  - https://ijcai.org/proceedings/1987/204
ER  -