Otsing - TalTech raamatukogu digikogu

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

Register

Institute of Cybernetics of the Estonian Academy of Sciences - asutus

Kuva ainult täistekste

Kirjeid leitud: 597

526. Proof search in linear logic Tammet, Tanel1991 uuringuaruanded
527. Resolution methods for decision problems and finite-model building Tammet, Tanel1991 uuringuaruanded
528. Documentation for hobbit version 0a Tammet, Tanel1992 uuringuaruanded
529. Proof search in linear logic Tammet, Tanel1992 uuringuaruanded
530. Computer logic overview of research activities in 1992 Tammet, Tanel; Mints, Grigori; Tupailo, Sergei1992 uuringuaruanded
531. A formal model for the language LSD and calculus CSD Tekko, Jaanus1991 uuringuaruanded
532. The language LSD and calculus CSD - tools for embedded system specification Tekko, Jaanus1991 uuringuaruanded
533. Some problems in timing analysis of the specification Tekko, Jaanus1993 uuringuaruanded
534. Comparison of the modelling power of Petri-nets and Q-model Tekko, Jaanus1994 uuringuaruanded
535. A model-theoretic study of the calculus for systems description Tekko, Jaanus; Uustalu, Tarmo; Lorents, Peeter1990 uuringuaruanded
536. Juhuslike protsesside optimaalne juhtimine. Optimal control of stochastic processes Tenno, R., Oit, H., Lamp, I., Praust, V.1990 uuringuaruanded
537. On Non-wellfounded Constructive Set Theory: construction of non-wellfounded sets in Explicit Mathematics Tupailo, S.2001 uuringuaruanded
538. General methods in inductive program synthesis Tupailo, Sergei1996 uuringuaruanded
539. On a proof-theoretical analysis of sigma_1^1 - AC, sigma_1 ^1 - DC and delta_1^ - CA Tupailo, Sergei1993 uuringuaruanded
540. Normalization for arithmetical comprehension with restricted occurrences of Hilberts epsilon symbol Tupailo, Sergei1992 uuringuaruanded
541. Knowledge representation and application II: Large knowledge-bases Tyugu, E.; Harf, M.; Kypp, M.; Matskin, M.1991 uuringuaruanded
542. Declarative programming in a type theory Tyugu, Enn1991 uuringuaruanded
543. Knowledge-based programming environments Tyugu, Enn1990 uuringuaruanded
544. Modularity of knowledge Tyugu, Enn1990 uuringuaruanded
545. Higher order dataflow schemas Tyugu, Enn1990 uuringuaruanded
546. A modal justification for structural synthesis of NUT Uustalu, Tarmo1995 uuringuaruanded
547. A realizability semantics for the calculus of partial inductive definitions Uustalu, Tarmo1990 uuringuaruanded
548. Combining object-oriented and logic paradigms: A modal logic programming approach Uustalu, Tarmo1991 uuringuaruanded
549. Some approximate variants of classical iterative methods with high order convergence Vaarmann, Otu1991 uuringuaruanded
550. Certain approximate Newton-type methods Vaarmann, Otu1991 uuringuaruanded

Kirjeid leitud: 597

First
Previous
14
15
16
17
18
19
20
21
22
23
24
Next
Last

TalTech Digikogu