Author: Subašić Ilija Berendt Bettina
Publisher: Springer Publishing Company
ISSN: 0219-1377
Source: Knowledge and Information Systems, Vol.23, Iss.3, 2010-06, pp. : 293-319
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Related content
SEQUENCE-INDEXED LINEAR-TIME TEMPORAL LOGIC: PROOF SYSTEM AND APPLICATION
By Kaneiwa Ken
Applied Artificial Intelligence, Vol. 24, Iss. 10, 2010-11 ,pp. :
Eureka!: an interactive and visual knowledge discovery tool
By Manco G. Pizzuti C. Talia D.
Journal of Visual Languages & Computing, Vol. 15, Iss. 1, 2004-02 ,pp. :