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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.