Logical reasoning about programming of mathematical machines

Bibliographic Details
Main Author: Novitzká, Valerie (Author)
Format: Article
Language:Slovak
English
Subjects:
Description
Item Description:Biogr. údaje
Physical Description:Sch.
Bibliography:Bibliogr. odkazy
ISSN:1335-8243