Author: Bergstra J.A. Bethke I.
Publisher: Elsevier
ISSN: 1567-8326
Source: Journal of Logic and Algebraic Programming, Vol.51, Iss.2, 2002-06, pp. : 193-214
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 virtual environment for steered molecular dynamics
By Prins J.F. Hermans J. Mann G. Nyland L.S. Simons M.
Future Generation Computer Systems, Vol. 15, Iss. 4, 1999-07 ,pp. :