Algoritmid ja diagonaalsed tõestused

author
statement of authorship
Ahto Buldas
year of publication
pages
1, lk. 5-10
subject term
ISSN
0234-064X
notes
Bibl. 1 nim
review
Titel's translation: Algorithms and diagonals verifications
language
eesti
Buldas, A. Algoritmid ja diagonaalsed tõestused // Arvutustehnika ja Andmetöötlus (1995), 1, lk. 5-10.