N.N. Nepejvoda
1 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
A constructive logic of program schemata on a decidable universe Opublikowano w: Bulletin of the Section of Logic 1988 / Tom 17 / Numer 3-4 / s. 138 - 147ROK: 1988CZYSTY TEKSTBIBTEX
