Author： Radev Dragomir Muthukrishnan Pradeep Qazvinian Vahed Abu-Jbara Amjad
Publisher： Springer Publishing Company
ISSN： 1574-020X
Source： Language Resources and Evaluation, Vol.47, Iss.4, 2013-12, pp. : 919-944
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Related content
By Manolios Panagiotis Moore J Strother
Journal of Automated Reasoning, Vol. 31, Iss. 2, 2003-01 ,pp. :
Access to resources
Recommend
AN ACL FOR SPECIFYING FAULT-TOLERANT PROTOCOLS
By Dragoni Nicola Gaspari Mauro Guidi Davide
Applied Artificial Intelligence, Vol. 21, Iss. 4-5, 2007-04 ,pp. :
Journal of Automated Reasoning, Vol. 38, Iss. 4, 2007-05 ,pp. :
SMT: how ACL is making a lean machine
Assembly Automation, Vol. 9, Iss. 1, 1993-12 ,pp. :