Sequentielle Formelübersetzung (Sequential Formula Translation)

Klaus Samelson, Friedrich L. Bauer. Sequentielle Formelübersetzung (Sequential Formula Translation). it - Information Technology, 50(2):137-143, 2008.

Abstract

Abstract is missing.