Period of time： 2013年3-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 40,issue 3-4
Menu
A Theory of Frame Transformations for Belief Combination
By Alvarez Sergio A. in (2004)
Annals of Mathematics and Artificial Intelligence,volume 40,issue 3-4 , Vol. 40, Iss. 3-4, 2004-03 , pp.
Access to resources
Recommend
Approximation Algorithms for the Class Cover Problem
Annals of Mathematics and Artificial Intelligence,volume 40,issue 3-4 , Vol. 40, Iss. 3-4, 2004-03 , pp.Locally Determined Logic Programs and Recursive Stable Models
Annals of Mathematics and Artificial Intelligence,volume 40,issue 3-4 , Vol. 40, Iss. 3-4, 2004-03 , pp.Identifying Terminal Distinguishable Languages
Annals of Mathematics and Artificial Intelligence,volume 40,issue 3-4 , Vol. 40, Iss. 3-4, 2004-03 , pp.Solving Hierarchical Constraints over Finite Domains with Local Search
Annals of Mathematics and Artificial Intelligence,volume 40,issue 3-4 , Vol. 40, Iss. 3-4, 2004-03 , pp.Satisfiability-Based Algorithms for Boolean Optimization
By Manquinho Vasco M. in (2004)
Annals of Mathematics and Artificial Intelligence,volume 40,issue 3-4 , Vol. 40, Iss. 3-4, 2004-03 , pp.Persistent and Quasi-Persistent Lemmas in Propositional Model Elimination
Annals of Mathematics and Artificial Intelligence,volume 40,issue 3-4 , Vol. 40, Iss. 3-4, 2004-03 , pp.Reasoning with BKBs – Algorithms and Complexity
Annals of Mathematics and Artificial Intelligence,volume 40,issue 3-4 , Vol. 40, Iss. 3-4, 2004-03 , pp.