Author: Vouga E. Goldman R.
Publisher: Springer Publishing Company
ISSN: 0010-485X
Source: Computing, Vol.79, Iss.2-4, 2007-04, pp. : 153-162
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
A two-leveled symbiotic evolutionary algorithm for clustering problems
By Shin Kyoung
Applied Intelligence, Vol. 36, Iss. 4, 2012-06 ,pp. :
A two-way BSP algorithm for tridiagonal systems
Future Generation Computer Systems, Vol. 13, Iss. 4, 1998-03 ,pp. :
Towards the animation of proofs - testing proofs by examples
By Hayashi S. Sumitomo R. Shii K.-i.
Theoretical Computer Science, Vol. 272, Iss. 1, 2002-02 ,pp. :
Planning Proofs of Equations in CCS
By Monroy R.
Automated Software Engineering, Vol. 7, Iss. 3, 2000-07 ,pp. :