History


Help on query formulation
Verifying a Computer Algorithm Mathematically. Mathematische Ueberpruefung eines Computerprogramms. (English)
J. Comput. Math. Sci. Teach. (Win 1985-86) v. 5(2) p. 52-54. CODEN: JCMTDV
Valid XHTML 1.0 Transitional Valid CSS!