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 - 1471988CZYSTY TEKST
N.N. Nepejvoda, A constructive logic of program schemata on a decidable universe, Bulletin of the Section of Logic, 1988 / Tom 17 / Numer 3-4, s. 138 - 147
BIBTEX@Article{ authors = " N.N. Nepejvoda", title = "A constructive logic of program schemata on a decidable universe", journal = "Bulletin of the Section of Logic", issue = "1988 / Tom 17 / Numer 3-4", pages = "138 - 147" }
