Period of time: 2013年1-2期
Publisher: Springer Publishing Company
Founded in: 1990
Total resources: 73
ISSN: 1012-2443
Subject: O Mathematical Sciences and Chemical
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Annals of Mathematics and Artificial Intelligence,volume 48,issue 1-2
Menu
Mechanizing common knowledge logic using COQ
Annals of Mathematics and Artificial Intelligence,volume 48,issue 1-2 , Vol. 48, Iss. 1-2, 2006-09 , pp.Learning parallel portfolios of algorithms
Annals of Mathematics and Artificial Intelligence,volume 48,issue 1-2 , Vol. 48, Iss. 1-2, 2006-09 , pp.