Author： Martino A.A.
Publisher： Springer Publishing Company
ISSN： 0924-8463
Source： Artificial Intelligence and Law, Vol.9, Iss.2-3, 2001-09, pp. : 95-98
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
Proof-search in type-theoretic languages: an introduction
Theoretical Computer Science, Vol. 232, Iss. 1, 2000-02 ,pp. :
Access to resources
Recommend
By Childe S. J
Production Planning and Control, Vol. 12, Iss. 7, 2001-10 ,pp. :
By Bouguettaya Athman Benatallah Boualem
Distributed and Parallel Databases, Vol. 18, Iss. 1, 2005-07 ,pp. :
Genetic Programming and Evolvable Machines, Vol. 7, Iss. 1, 2006-03 ,pp. :
Constraints, Vol. 10, Iss. 4, 2005-10 ,pp. :