Period of time: 2013年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 42,issue 4
Menu
Bounded Nondeterminism of Logic Programs
Annals of Mathematics and Artificial Intelligence,volume 42,issue 4 , Vol. 42, Iss. 4, 2004-12 , pp.A Discrete-Time Quantized-State Hopfield Neural Network
By Bousoño-Calzón Carlos in (2004)
Annals of Mathematics and Artificial Intelligence,volume 42,issue 4 , Vol. 42, Iss. 4, 2004-12 , pp.A New Algebraic Tool for Automatic Theorem Provers
Annals of Mathematics and Artificial Intelligence,volume 42,issue 4 , Vol. 42, Iss. 4, 2004-12 , pp.On Stratified Belief Base Compilation
By Coste-Marquis Sylvie in (2004)
Annals of Mathematics and Artificial Intelligence,volume 42,issue 4 , Vol. 42, Iss. 4, 2004-12 , pp.By Turull Torres José Maria in (2004)
Annals of Mathematics and Artificial Intelligence,volume 42,issue 4 , Vol. 42, Iss. 4, 2004-12 , pp.