

Author: Marinelli Paolo Vitali Fabio Zacchiroli Stefano
Publisher: Taylor & Francis Ltd
ISSN: 1361-4568
Source: New Review in Hypermedia and Multimedia, Vol.14, Iss.1, 2008-01, pp. : 57-94
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content


Using as a Semantic Markup Format
Mathematics in Computer Science, Vol. 2, Iss. 2, 2008-12 ,pp. :


By Kor Ah-Lian
Information, Communication and Society, Vol. 16, Iss. 1, 2013-02 ,pp. :


By Cheney James
Journal of Automated Reasoning, Vol. 45, Iss. 3, 2010-10 ,pp. :




E-unification with Constants vs. General E-unification
By Otop Jan
Journal of Automated Reasoning, Vol. 48, Iss. 3, 2012-03 ,pp. :