Article citationsMore>>

Ian, H. (1998) The FaCT System. Automated Reasoning with Analytic Tableaux and Related Methods. International Conference Tableaux-98, Springer Verlag, Berlin, 307-312.

has been cited by the following article:

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