Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
tõestused (märksõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
15
Vaata veel..
(1/1)
Ekspordi
ekspordi kõik päringu tulemused
(15)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel ajakirjas
Algoritmid ja diagonaalsed tõestused
Buldas, Ahto
Arvutustehnika ja Andmetöötlus
1995
/
1, lk. 5-10
artikkel ajakirjas
2
artikkel ajakirjas
Diagrammatikus érvelés - a kétkedés vége? = Diagrammatic Reasoning : The End of Scepticism?
Moktefi, Amirouche
Magyar Tudomany
2019
/
p. 970–978
http://dx.doi.org/10.1556/2065.180.2019.7.4
artikkel ajakirjas
3
artikkel kogumikus
Järelsõna
Tammet, Tanel
Gödeli tõestus : koos Kurt Gödeli loenguga matemaatika alustest ja Tanel Tammeti järelsõnaga
2020
/
lk. 125−135
https://www.ester.ee/record=b5346988*est
artikkel kogumikus
4
artikkel ajakirjas
Logical investigations on assertion and denial
Carrara, Massimiliano
;
Chiffi, Daniele
;
De Florio, Ciro
Journal of applied logic
2017
/
p. S1-S2
https://doi.org/10.1016/j.jal.2017.11.003
artikkel ajakirjas
5
artikkel kogumikus
Machine assisted proofs in the theory of monads
Altenkirch, Thorsten
;
Chapman, James
;
Uustalu, Tarmo
21st Nordic Workshop on Programming Theory : NWPT 2009 : Lyngby, Denmark, 14-16 October 2009 : proceedings
2009
/
p. 83-85
https://jmchapman.io/papers/Assisted_Monads.pdf
artikkel kogumikus
6
artikkel kogumikus
Peirce's sequent proofs of distributivity
Ma, Minghui
;
Pietarinen, Ahti-Veikko
Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017 : proceedings
2017
/
p. 168-182
https://doi.org/10.1007/978-3-662-54069-5_13
artikkel kogumikus
7
artikkel ajakirjas
Proof analysis of Peirce's alpha system of graphs
Ma, Minghui
;
Pietarinen, Ahti-Veikko
Studia logica
2017
/
p. 625-647 : ill
https://doi.org/10.1007/s11225-016-9703-y
artikkel ajakirjas
8
artikkel ajakirjas
Relativism ja jumalatõestus
Eintalu, Jüri
Looming
1997
/
3, lk. 369-384
artikkel ajakirjas
9
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
The sequent calculus of skew monoidal categories
Uustalu, Tarmo
;
Veltri, Niccolo
;
Zeilberger, Noam
Electronic notes in theoretical computer science
2018
/
p. 345-370
https://doi.org/10.1016/j.entcs.2018.11.017
Journal metrics at Scopus
Article at Scopus
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
10
artikkel kogumikus
The sequent calculus of skew monoidal categories
Uustalu, Tarmo
;
Veltri, Niccolo
;
Zeilberger, Noam
The interplay of mathematics, logic, and linguistics
2021
/
p. 377-406
https://doi.org/10.1007/978-3-030-66545-6_11
artikkel kogumikus
11
artikkel ajalehes
Tarmo Soomere: "Tõde on liiga keeruline"
Soomere, Tarmo
Eesti Ekspress
2016
/
lk. 24-27 : fot
https://ekspress.delfi.ee/artikkel/76650248/tarmo-soomere-tode-on-liiga-keeruline
artikkel ajalehes
12
artikkel kogumikus
Towards reliable code generation with an open tool : evolutions of the gene-auto toolset
Toom, Andres
;
Izerrouken, N.
;
Näks, Tõnu
;
Pantel, M.
;
Ssi Yan Kai, O.
5th International Congress and exhibition ERTS2 2010 : Embedded Real Time Software and Systems : 19-21 May 2010, Toulouse, France
2010
/
[10] p
https://hal.science/hal-02267640/document
artikkel kogumikus
13
artikkel ajakirjas
Towards reliable code generation with an open tool : evolutions of the Gene-Auto toolset
Toom, Andres
;
Izerrouken, N.
;
Näks, Tõnu
;
Pantel, M.
;
Ssi Yan Kai, O.
Ingénieurs de l'Automobile
2010
/
p. 29-35
https://hal.science/hal-02267640/document
artikkel ajakirjas
14
artikkel kogumikus
Towards scalable proofs of robot swarm dependability
Vain, Jüri
;
Tammet, Tanel
;
Kuusik, Alar
;
Juurik, Silver
BEC 2008 : 2008 International Biennial Baltic Electronics Conference : proceedings of the 11th Biennial Baltic Electronics Conference : Tallinn University of Technology : October 6-8, 2008, Tallinn, Estonia
2008
/
p. 199-202 : ill
artikkel kogumikus
15
artikkel ajalehes
Uus väljakutse matemaatikutele
Krustok, Jüri
Postimees
1997
/
30. nov., lk. 13
artikkel ajalehes
Kirjeid leitud 15, kuvan
1 - 15
märksõna
1
1.
tõestused
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT