Period of time： 2013年1-4期
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 27,issue 1-4
Menu
Access to resources
Recommend
Implicates and reduction techniques for temporal logics
By de Guzmán I.P.,Ojeda-Aciego M.,Valverde A. in (1999)
Annals of Mathematics and Artificial Intelligence,volume 27,issue 1-4 , Vol. 27, Iss. 1-4, 1999-01 , pp.Persistence and minimality in epistemic logic
Annals of Mathematics and Artificial Intelligence,volume 27,issue 1-4 , Vol. 27, Iss. 1-4, 1999-01 , pp.Contrary-to-duty reasoning with preference-based dyadic obligations
Annals of Mathematics and Artificial Intelligence,volume 27,issue 1-4 , Vol. 27, Iss. 1-4, 1999-01 , pp.On the intertranslatability of non-monotonic logics
Annals of Mathematics and Artificial Intelligence,volume 27,issue 1-4 , Vol. 27, Iss. 1-4, 1999-01 , pp.Propositional lower bounds: Algorithms and complexity
Annals of Mathematics and Artificial Intelligence,volume 27,issue 1-4 , Vol. 27, Iss. 1-4, 1999-01 , pp.