Verification of Multi-Level Rule-Based Expert Systems

AAAI 1991 pp. 323-328

/aaai/1991/meseguer1991aaai-verification/

Cite

Text

Meseguer. "Verification of Multi-Level Rule-Based Expert Systems." AAAI Conference on Artificial Intelligence, 1991.

Markdown

[Meseguer. "Verification of Multi-Level Rule-Based Expert Systems." AAAI Conference on Artificial Intelligence, 1991.](https://mlanthology.org/aaai/1991/meseguer1991aaai-verification/)

BibTeX

@inproceedings{meseguer1991aaai-verification,
  title     = {{Verification of Multi-Level Rule-Based Expert Systems}},
  author    = {Meseguer, Pedro},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1991},
  pages     = {323-328},
  url       = {https://mlanthology.org/aaai/1991/meseguer1991aaai-verification/}
}