1991
Loop checking and negation
Publication
Publication
Presented at the
European Conference on Logics in Artificial Intelligence, Amsterdam
Additional Metadata | |
---|---|
Springer | |
Lecture Notes in Computer Science | |
European Conference on Logics in Artificial Intelligence | |
Bol, R. N. (1991). Loop checking and negation. In Proceedings of the European Conference on Logics in Artificial Intelligence 1990 (pp. 121–138). Springer. |