Period of time： 2014年2期
Publisher： Springer Publishing Company
Founded in： 1971
Total resources： 23
ISSN： 0001-5903
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.
Acta Informatica,volume 51,issue 2
Menu
On weighted first-order logics with discounting
By Mandrali Eleni,Rahonis George in (2014)
Acta Informatica,volume 51,issue 2 , Vol. 51, Iss. 2, 2014-03 , pp.
Access to resources
Recommend
An efficient simulation algorithm on Kripke structures
By Ranzato Francesco in (2014)
Acta Informatica,volume 51,issue 2 , Vol. 51, Iss. 2, 2014-03 , pp.