Period of time： 2004年1期
Publisher： Academic Press
Founded in： 1957
Total resources： 79
ISSN： 0890-5401
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.
Information and Computation,volume 169,issue 1
Menu
Automata-Driven Automated Induction
By Bouhoula A.,Jouannaud J-P. in (2001)
Information and Computation,volume 169,issue 1 , Vol. 169, Iss. 1, 2001-08 , pp.
Access to resources
Recommend
A Theory of Observables for Logic Programs
By Comini M.,Levi G.,Meo M.C. in (2001)
Information and Computation,volume 169,issue 1 , Vol. 169, Iss. 1, 2001-08 , pp.More on Representation Theory for Default Logic
Information and Computation,volume 169,issue 1 , Vol. 169, Iss. 1, 2001-08 , pp.Incremental Convex Planarity Testing
By Di Battista G.,Tamassia R.,Vismara L. in (2001)
Information and Computation,volume 169,issue 1 , Vol. 169, Iss. 1, 2001-08 , pp.Papers to Appear in Forthcoming Issues
Information and Computation,volume 169,issue 1 , Vol. 169, Iss. 1, 2001-08 , pp.