共 21 条
[1]
Al Otaibi J., 2015, P IEEE ACS 12 INT C, P1
[2]
[Anonymous], THESIS
[3]
Using a SMT solver for risk analysis: detecting logical mistakes in texts
[J].
2014 IEEE 26TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI),
2014,
:867-874
[5]
Carmeli B., 2013, U. S. Patent, Patent No. [20 140 214 732, A1, 20140214732]
[6]
CODD EF, 1970, COMMUN ACM, V13, P377, DOI 10.1145/357980.358007
[7]
Elloumi S, 2014, I C COMP SYST APPLIC, P647, DOI 10.1109/AICCSA.2014.7073260
[9]
Ferjani F., 2013, 13 INT C REL ALG MET
[10]
Ganter B., 2005, Formal Concept Analysis: Foundations and Applications.