共 38 条
[1]
AMICO, 2012, AMICO WEB PLATFORM
[2]
Baader F., 2003, THE DESCRIPTION LOGI
[3]
Berardi Daniela, 2001, WORKSHOP ON APPLICAT
[4]
Cali Andrea, 2002, LECTURE NOTES IN COM, V2366, P423
[6]
EZWEB, 2012, EZWEB WEB PLATFORM
[7]
GOOGLE, 2012, IGOOGLE WEB PLATFORM
[8]
Haarslev V., 2001, Automated Reasoning. First International Joint Conference, IJCAR 2001. Proceedings (Lecture Notes in Artificial Intelligence Vol.2083), P701
[9]
Haarslev V., 2001, PROC OF IJCAR
[10]
Haarslev V., 2001, HIGH PERFORMANCE REA