Abstract
Authors
L. Negrescu
Institutul de Calcul
I. Păvăloiu
Institutul de Calcul
Keywords
?
Paper coordinates
L. Negrescu, I. Păvăloiu, Asupra verificării formale a schemelor logice de algoritmi, Studii şi cercetări matematice, 17 (1965) no. 2, pp. 271-286 (in Romanian).
??
About this paper
Journal
Studii si Cercetari Matematice
Publisher Name
Publishing House of the Academy of the Republic of S.R.
DOI
Print ISSN
0039-4068
Online ISSN
google scholar link
??