Search - TalTech raamatukogu digikogu

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

Index

Institute of Cybernetics of the Estonian Academy of Sciences - institution

find full texts

items found: 597

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

items found: 597

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

TalTech Digikogu