Toggle navigation
Otsing
Kollektsioonid
Registrid
Abi ja info
Digikogu
Otsing
Kollektsioonid
Registrid
Abi ja info
Intranet
Logi sisse
Vali kollektsioon
vali kõik
eemalda valik
artiklid
bakalaureusetööd
digiteeritud perioodika
diplomitööd
doktoritööd
IOP
kaitsmisele minevad doktoritööd
konverentsikogumikud
magistritööd
raamatukogu väljaanded
standardid
teadus- ja arengutegevuse aruanded
Tehnikaülikooli ajalugu
Tehnikaülikooli toimetised
uuringuaruanded
varia
õpikud ja õppevahendid
Pealkiri
Autor/juhendaja/koostaja
Struktuuriüksus
Märksõna
Aasta
-
Reasta
autor A-Z
autor Z-A
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri A-Z
pealkiri Z-A
Register
Tupailo, Sergei - autor
Kuva ainult täistekste
Rakenda
Kirjeid leitud: 7
1.
A note on completeness of partial deduction
Matskin, Mihhail; Tupailo, Sergei
1995
uuringuaruanded
2.
Normalization for the first order classical logic with Hilberts epsilon-symbol
Mints, Gregory; Tupailo, Sergei
1992
uuringuaruanded
3.
Epsilon substitution method for elementary analysis
Mints, Grigori; Tupailo, Sergei
1993
uuringuaruanded
4.
Computer logic overview of research activities in 1992
Tammet, Tanel; Mints, Grigori; Tupailo, Sergei
1992
uuringuaruanded
5.
On a proof-theoretical analysis of sigma_1^1 - AC, sigma_1 ^1 - DC and delta_1^ - CA
Tupailo, Sergei
1993
uuringuaruanded
6.
General methods in inductive program synthesis
Tupailo, Sergei
1996
uuringuaruanded
7.
Normalization for arithmetical comprehension with restricted occurrences of Hilberts epsilon symbol
Tupailo, Sergei
1992
uuringuaruanded
Kirjeid leitud: 7
1