Period of time: 2014年2期
Publisher: Springer Publishing Company
Founded in: 1985
Total resources: 33
ISSN: 0168-7433
Subject: TP Automation Technology , Computer Technology
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Journal of Automated Reasoning,volume 31,issue 2
Menu
By Manolios Panagiotis,Moore J Strother in (2003)
Journal of Automated Reasoning,volume 31,issue 2 , Vol. 31, Iss. 2, 2003-01 , pp.By Bachmair Leo,Tiwari Ashish,Vigneron Laurent in (2003)
Journal of Automated Reasoning,volume 31,issue 2 , Vol. 31, Iss. 2, 2003-01 , pp.Herbrand Award Acceptance Speech
Journal of Automated Reasoning,volume 31,issue 2 , Vol. 31, Iss. 2, 2003-01 , pp.