Toggle navigation
Search
Collections
Indexes
FAQ
Digikogu
Search
Collections
Indexes
FAQ
Intranet
Logi sisse
Select collection
select all
remove selection
annual reports of research & development activities
articles
bachelor's theses
conference proceedings
digitized periodicals
diploma theses
dissertations
history of TalTech
IOP
library publications
master's theses
pre-dissertations
research reports
standards
textbooks and teaching materials
transactions of TalTech
varia
title
author/supervisor/editor
structural unit
keyword
publication year
-
Sort by
author A-Z
author Z-A
publishing year asc
publishing year desc
title A-Z
title Z-A
Index
Tammet, Tanel - author
find full texts
Apply
items found: 7
1.
Using resolution for deciding solvable classes and building finite models
Tammet, Tanel
1990
research reports
2.
Functional programming
Tammet, Tanel
1990
research reports
3.
Proof search in linear logic
Tammet, Tanel
1991
research reports
4.
Resolution methods for decision problems and finite-model building
Tammet, Tanel
1991
research reports
5.
Documentation for hobbit version 0a
Tammet, Tanel
1992
research reports
6.
Proof search in linear logic
Tammet, Tanel
1992
research reports
7.
Computer logic overview of research activities in 1992
Tammet, Tanel; Mints, Grigori; Tupailo, Sergei
1992
research reports
items found: 7
1