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 26,issue 1-4
Menu
Set-theoretic completeness for epistemic and conditional logic
Annals of Mathematics and Artificial Intelligence,volume 26,issue 1-4 , Vol. 26, Iss. 1-4, 1999-01 , pp.Inference of monotonicity constraints in Datalog programs
Annals of Mathematics and Artificial Intelligence,volume 26,issue 1-4 , Vol. 26, Iss. 1-4, 1999-01 , pp.Parallel cooperative propositional theorem proving
Annals of Mathematics and Artificial Intelligence,volume 26,issue 1-4 , Vol. 26, Iss. 1-4, 1999-01 , pp.A propositional theorem prover to solve planning and other problems
By van Gelder A.,Okushi F. in (1999)
Annals of Mathematics and Artificial Intelligence,volume 26,issue 1-4 , Vol. 26, Iss. 1-4, 1999-01 , pp.Lemma and cut strategies for propositional model elimination
By van Gelder A.,Okushi F. in (1999)
Annals of Mathematics and Artificial Intelligence,volume 26,issue 1-4 , Vol. 26, Iss. 1-4, 1999-01 , pp.Maintenance scheduling problems as benchmarks for constraint algorithms
By Frost D.,Dechter R. in (1999)
Annals of Mathematics and Artificial Intelligence,volume 26,issue 1-4 , Vol. 26, Iss. 1-4, 1999-01 , pp.Diagnosing double regular systems
By Boros E.,Ünlüyurt T. in (1999)
Annals of Mathematics and Artificial Intelligence,volume 26,issue 1-4 , Vol. 26, Iss. 1-4, 1999-01 , pp.Pattern recognition by an optical thin-film multilayer model
Annals of Mathematics and Artificial Intelligence,volume 26,issue 1-4 , Vol. 26, Iss. 1-4, 1999-01 , pp.Perceive this as that – Analogies, artificial perception, and category theory
By Arzi-Gonczarowski Z. in (1999)
Annals of Mathematics and Artificial Intelligence,volume 26,issue 1-4 , Vol. 26, Iss. 1-4, 1999-01 , pp.