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
loogika (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
200
Vaata veel..
(1/12)
Ekspordi
ekspordi kõik päringu tulemused
(200)
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
101
artikkel kogumikus
Loogikalülituste struktuurimudelite sisestamine arvutisse
Kull, J.
;
Viilup, Agu
XXIX vabariiklik üliõpilaste teaduslik- tehniline konverents 30. märtsist - 1. aprillini 1977 : ettekannete teesid
1977
/
lk. 45
https://www.ester.ee/record=b2449987*est
artikkel kogumikus
102
artikkel kogumikus
Loogikaprogrammi minimaalne semantika
Henno, Jaak
Тезисы докладов конференции "Методы алгебры и анализа", 21-23 сентября 1988
1988
/
с. 37-38
https://www.ester.ee/record=b1229448*est
artikkel kogumikus
103
artikkel ajakirjas
Lugesin üht raamatut : tõsine suutäis loogikat filosoofia lisanditega : [Enn Kasaku "Loogika alused" arvustus]
Meos, Indrek
Horisont
2014
/
lk. 59
artikkel ajakirjas
104
artikkel ajakirjas
Ma tean, et ma midagi ei tea
Meos, Indrek
Horisont
2004
/
6, lk. 49
https://artiklid.elnet.ee/record=b1017026*est
https://artiklid.elnet.ee/record=b1017026*est
artikkel ajakirjas
105
raamat
Majanduse loogika : (ökonoloogika struktuurne mõisteaparaat)
Koslov, Vladimir
1991
http://www.ester.ee/record=b1251188*est
raamat
106
raamat
Majanduse loogika : (ökonoloogika struktuurne mõisteaparaat)
Koslov, Vladimir
1990
https://www.ester.ee/record=b1205579*est
raamat
107
artikkel kogumikus EST
/
artikkel kogumikus ENG
Making sense of Schopenhauer's diagram of Good and Evil
Lemanski, Jens
;
Moktefi, Amirouche
Diagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18–22, 2018 : proceedings
2018
/
p. 721-724 : ill
https://doi.org/10.1007/978-3-319-91376-6_67
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
108
artikkel kogumikus
Methodeutic of abduction
Bellucci, Francesco
;
Pietarinen, Ahti-Veikko
Abduction in Cognition and Action
2021
/
p. 107–127
https://doi.org/10.1007/978-3-030-61773-8_5
artikkel kogumikus
109
artikkel ajakirjas
Mitte midagi pole olemas?
Meos, Indrek
Horisont
2004
/
2, lk. 53
https://artiklid.elnet.ee/record=b1015290*est
artikkel ajakirjas
110
artikkel kogumikus EST
/
artikkel kogumikus ENG
Modal embeddings and calling paradigms
Espirito Santo, Jose
;
Pinto, Luis
;
Uustalu, Tarmo
4th International Conference on Formal Structures for Computation and Deduction : FSCD 2019, Dortmund, Germany, 24-30 June 2019
2019
/
art. 18 ; 20 p. : ill
https://doi.org/10.4230/LIPIcs.FSCD.2019.18
Conference proceeding at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
111
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Monoidal width
Di Lavore, Elena
;
Sobocinski, Pawel Maria
Logical methods in computer science
2023
/
p. 15:1–15:46 : ill
https://doi.org/10.46298/LMCS-19(3:15)2023
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Seotud publikatsioonid
1
Monoidal width = Monoidiline laius
112
artikkel kogumikus EST
/
artikkel kogumikus ENG
Monoidal width : capturing rank width
Di Lavore, Elena
;
Sobocinski, Pawel Maria
Proceedings Fifth International Conference on Applied Category Theory : Glasgow, Scotland, 18-22 July 2022
2023
/
p. 268-283 : ill
https://doi.org/10.4204/EPTCS.380.16
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
1
Monoidal width = Monoidiline laius
113
artikkel kogumikus
A multimodal pragmatic analysis of the knowability paradox
Carrara, Massimiliano
;
Chiffi, Daniele
;
Sergio, Davide
Applications of formal philosophy : the road less travelled
2017
/
p. 195-209
https://doi.org/10.1007/978-3-319-58507-9_9
artikkel kogumikus
114
artikkel ajakirjas
Naatan Kvarki raamaturiiul
Agur, Ustus
Horisont
1970
/
lk. 73-75
https://www.ester.ee/record=b1072243*est
http://www.digar.ee/id/nlib-digar:291254
https://www.ester.ee/record=b1266730*est
https://www.ester.ee/record=b1351663*est
artikkel ajakirjas
115
raamat
Natural arguments : a tribute to John Woods
2019
https://www.collegepublications.co.uk/tributes/?00040
raamat
116
artikkel ajakirjas
Neat, swine, sheep, and deer : Mill and Peirce on natural kinds
Bellucci, Francesco
British journal for the history of philosophy
2015
/
p. 911-932
http://dx.doi.org/10.1080/09608788.2015.1045445
artikkel ajakirjas
117
artikkel kogumikus EST
/
artikkel kogumikus ENG
Negative terms in Euler diagrams : Peirce's solution
Moktefi, Amirouche
;
Pietarinen, Ahti-Veikko
Diagrammatic Representation and Inference : 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016 : proceedings
2016
/
p. 286-288 : ill
https://doi.org/10.1007/978-3-319-42333-3_25
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
118
artikkel ajakirjas
New light on Peirce’s conceptions of retroduction, deduction, and scientific reasoning
Pietarinen, Ahti-Veikko
;
Bellucci, Francesco
International studies in the philosophy of science
2014
/
p. 353-373
artikkel ajakirjas
119
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Notational differences
Bellucci, Francesco
;
Pietarinen, Ahti-Veikko
Acta Analytica
2020
/
p. 289-314
https://doi.org/10.1007/s12136-020-00425-1
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
120
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
On assertion and denial in the logic for pragmatics
Carrara, Massimiliano
;
Chiffi, Daniele
;
De Florio, Ciro
Journal of applied logic
2017
/
p. S97-S107 : ill
https://doi.org/10.1016/j.jal.2017.11.002
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
121
artikkel kogumikus
On efficient logic-level simulation of digital circuits represented by the SSBDD model
Jutman, Artur
;
Raik, Jaan
;
Ubar, Raimund-Johannes
23rd International Conference on Microelectronics : MIEL 2002, Niš, Yugoslavia, 12-15 May 2002 : proceedings. Volume 2
2002
/
p. 621-624 : ill
https://ieeexplore.ieee.org/document/1003334
artikkel kogumikus
122
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
On linear existential graphs
Bellucci, Francesco
;
Liu, Xinwen
;
Pietarinen, Ahti-Veikko
Logique et Analyse
2020
/
p. 261 - 296
https://doi.org/10.2143/LEA.251.0.3288641
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
123
artikkel kogumikus
On pragmatic denial [Online resource]
De Florio, Ciro
;
Carrara, Massimiliano
;
Chiffi, Daniele
How to say "Yes" or "No" : logical approaches to modes of assertion and denial : book of abstracts
2016
/
p. 10-12
https://publicatt.unicatt.it/retrieve/handle/10807/73622/114880/how_to_say__yes__or__no___logical_approaches_to_modes_of_assertion_and_denial_3.pdf
artikkel kogumikus
124
artikkel ajakirjas
On the diagrammatic representation of existential statements with Venn diagrams
Moktefi, Amirouche
;
Pietarinen, Ahti-Veikko
Journal of logic, language and information
2015
/
p. 361-374 : ill
http://dx.doi.org/10.1007/s10849-015-9228-1
artikkel ajakirjas
125
artikkel kogumikus
On the logic module in intelligent systems
Matsak, Erika
Proceedings of the International Conference on Artificial Intelligence : Worldcomp'09 : July 13-16, 2009, Las-Vegas Nevada, USA
2009
/
p. 594-599
artikkel kogumikus
Kirjeid leitud 200, kuvan
101 - 125
eelmine
1
2
3
4
5
6
7
8
järgmine
märksõna
12
1.
eeldused (loogika)
2.
eitus (loogika)
3.
formaalne loogika
4.
induktsioon (loogika)
5.
järeldamine (loogika)
6.
loogika
7.
loogika ajalugu
8.
matemaatiline loogika
9.
otsustused (loogika)
10.
teaduse loogika
11.
temporaalne loogika
12.
väliprogrammeeritav loogika
×
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