Author： Valente A. Breuker J. Brouwer B.
Publisher： Academic Press
ISSN： 1071-5819
Source： International Journal of Human-Computer Studies, Vol.51, Iss.6, 1999-12, pp. : 1079-1125
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Automated reasoning with function evaluation for COCOLOG
By Wang S.
Annals of Mathematics and Artificial Intelligence, Vol. 20, Iss. 1-4, 1997-01 ,pp. :
Access to resources
Recommend
On Randomization in On-Line Computation
Information and Computation, Vol. 150, Iss. 2, 1999-05 ,pp. :
Automatic on-line fluid monitoring
Industrial Lubrication and Tribology, Vol. 46, Iss. 4, 1994-04 ,pp. :
Parallel and On-Line Graph Coloring
Journal of Algorithms, Vol. 23, Iss. 2, 1997-05 ,pp. :
On-line Planar Graph Embedding
By Tamassia R.
Journal of Algorithms, Vol. 21, Iss. 2, 1996-09 ,pp. :