Molecular dynamics

Jan A. Bergstra, Inge Bethke. Molecular dynamics. Journal of Logic and Algebraic Programming, 51(2):193-214, 2002. [doi]

Abstract

Abstract is missing.

  翻译: