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 45,issue 2
Menu
By Armando Alessandro,Baumgartner Peter,Dowek Gilles in (2010)
Journal of Automated Reasoning,volume 45,issue 2 , Vol. 45, Iss. 2, 2010-08 , pp.Automata-Based Axiom Pinpointing
By Baader Franz,Peñaloza Rafael in (2010)
Journal of Automated Reasoning,volume 45,issue 2 , Vol. 45, Iss. 2, 2010-08 , pp.Quantitative Separation Logic and Programs with Lists
By Bozga Marius,Iosif Radu,Perarnau Swann in (2010)
Journal of Automated Reasoning,volume 45,issue 2 , Vol. 45, Iss. 2, 2010-08 , pp.By Nigam Vivek,Miller Dale in (2010)
Journal of Automated Reasoning,volume 45,issue 2 , Vol. 45, Iss. 2, 2010-08 , pp.