de Nivelle, Hans Programming Logics, MPI for Informatics, Max Planck Society;
Schulz, Stephan Molecular Physics, Fritz Haber Institute, Max Planck Society;
2001-2-006.pdf (Any fulltext), 68MB
de Nivelle, H., & Schulz, S.(2001). Proceeding of the Second International Workshop of the Implementation of Logics (MPI-I-2001-2-006). Saarbrücken: Max-Planck-Institut für Informatik.