About DML-CZ
|
FAQ
|
Conditions of Use
|
Math Archives
|
Contact Us
DML-CZ Home
Author: Vosátka, Karel
Vosátka, Karel
:
Intermittent-assertion method as a structural induction
.
(English).
Kybernetika
,
vol. 15 (1979), issue 2
,
pp. (122)-135
Search
Advanced Search
Browse
Collections
Titles
Authors
MSC
About DML-CZ
Partner of
