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