Article citationsMore>>

D. A. Randell, A.G. Cohn and Z. Cui, “Computing Transitivity Tables: A Challenge for Automated Theorem Provers,” Lecture Notes in Computer Science, Vol. 607, 1992, pp. 786-790.

has been cited by the following article:

SCIRP Newsletter
Copyright © 2006-2026 Scientific Research Publishing Inc. All Rights Reserved.
Top