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
Liitotsing
Valitud kirjed
0
[Institute of Logic, Language and Information] (kirjastus/väljaandja)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Lisa tingimus
Lihtotsing
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
1
Vaata veel..
(2/151)
Ekspordi
ekspordi kõik päringu tulemused
(1)
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 kogumikus
Logics of skew categorical structures
Uustalu, Tarmo
;
Veltri, Niccolo
;
Wan, Cheng-Syuan
Logic4Peace : fundraising online logic event for peace, April 22-23, 2022 : book of abstracts
2022
/
p. 81-82
https://events.illc.uva.nl/Logic4Peace/uploaded_files/inlineitem/slides/Uustalu-et-al_L4P-slides.pdf
artikkel kogumikus
Kirjeid leitud 1, kuvan
1 - 1
võtmesõna
150
1.
logic and philosophy of logic
2.
American Sign Language (ASL)
3.
Arabic language
4.
atom of regular language
5.
body language
6.
body language cues
7.
C++ programming language
8.
choreography language
9.
computer aided language translation
10.
computer assisted language learning
11.
computer-assisted language learning (CALL)
12.
controlled natural language
13.
cross-language analysis
14.
design language
15.
developmental language disorder
16.
diagrammatic language
17.
domain specific language
18.
English language
19.
Estonian language
20.
FHIR mapping language (FML) editor
21.
foreign language
22.
formal language theory
23.
geography mark-up language (CityGML)
24.
Graph Modeling Language (GML)
25.
lab description language
26.
language
27.
language derivatives
28.
language identification
29.
language intelligence
30.
language learning
31.
language modeling
32.
language models
33.
language of driving
34.
language of technology
35.
language processing
36.
language proficiency
37.
Language reform
38.
language returns
39.
language skills
40.
language technology
41.
language theory
42.
large language model (LLM)
43.
large language models
44.
large language models (LLM)
45.
modeling language
46.
modelling language
47.
multidomain language model
48.
native language
49.
natural language processing
50.
natural language processing (NLP)
51.
natural language understanding
52.
ontology web language
53.
pattern language
54.
Property Specification Language (PSL)
55.
recurrent neural network language model
56.
regular language
57.
Russian language
58.
Russian language minority
59.
Rust language
60.
second language
61.
second language acquisition
62.
semanting parsing the natural language
63.
smart contract language
64.
spoken language recognition
65.
statistical language modeling
66.
structured query language (SQL)
67.
SWRL (Semantic Web Rule Language)
68.
test scenario description language
69.
the Estonian language
70.
unified modelling language (UML)
71.
algebra of logic
72.
binary logic controller
73.
Boolean logic
74.
Compound logic locking
75.
Compound logic locking (CLL)
76.
constructive logic
77.
default logic
78.
diagrammatic logic
79.
digital logic
80.
dynamic logic
81.
epistemic logic
82.
ethics and logic
83.
formal logic
84.
fuzzy logic
85.
fuzzy logic
86.
fuzzy logic control
87.
fuzzy logic controller
88.
fuzzy logic controller (FLC)
89.
fuzzy logic model
90.
graphical method of logic
91.
history of logic
92.
Hoare logic
93.
Husserl and Pierce on logic of probability
94.
independence-friendly logic
95.
Inductive logic programming
96.
intuitionistic logic
97.
linear logic
98.
logic
99.
logic built-in self-test
100.
logic cell library
101.
logic circuit
102.
logic design
103.
logic diagram
104.
logic diagrams
105.
logic education
106.
logic for pragmatics
107.
logic gates
108.
logic in computer science
109.
logic in society
110.
logic level
111.
logic level and high level BDDs
112.
logic locking
113.
logic machine
114.
logic models
115.
logic models and simulation
116.
logic notation
117.
logic obfuscation
118.
logic of bunched implications
119.
logic of relatives
120.
logic of science
121.
logic of speech acts
122.
logic simulation
123.
logic synthesis
124.
logic teaching
125.
logic-based distributed routing
126.
malicious logic
127.
mathematical logic
128.
modal logic
129.
Natural logic
130.
Peirce's existential graphs and transcendental logic
131.
philosophical logic
132.
philosophy of logic
133.
pragmatic logic
134.
probabilistic relational program logic
135.
programmable logic
136.
programmable logic controller (PLC)
137.
quantitative logic
138.
quantum logic
139.
race logic
140.
reconfigurable logic
141.
routing logic
142.
S4 modal logic
143.
S-D logic
144.
Semi-substructural logic
145.
Service-Dominant logic
146.
stateful logic computation
147.
substructural logic
148.
symbolic knowledge in Husserlian pure logic
149.
symbolic logic
150.
temporal logic
autor
1
1.
Tallinna Polytechnic Institute, Chair of Foreign Language
×
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