Algoritmid ja diagonaalsed tõestused

autor
vastutusandmed
Ahto Buldas
ilmumisaasta
leheküljed
1, lk. 5-10
ISSN
0234-064X
märkused
Bibl. 1 nim
retsensioon
Titel's translation: Algorithms and diagonals verifications
keel
eesti
Buldas, A. Algoritmid ja diagonaalsed tõestused // Arvutustehnika ja Andmetöötlus (1995), 1, lk. 5-10.