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
natural transformations (võtmesõ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
1
Vaata veel..
(1/78)
Ekspordi
ekspordi kõik päringu tulemused
(1)
Salvesta TXT 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 EST
/
artikkel kogumikus ENG
Semi-Substructural Logics à la Lambek
Wan, Cheng-Syuan
Proceedings of 11th International Conference on Nonclassical Logics : Theory and Applications (NCL’24)
2024
/
p. 195–213
https://doi.org/10.4204/EPTCS.415.18
Conference proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
1
Proof theory of semi-substructural logics = Pool-allstruktuursete loogikate tõestusteooria
Kirjeid leitud 1, kuvan
1 - 1
võtmesõna
78
1.
natural transformations
2.
digital transformations
3.
economic transformations
4.
equivalent transformations of SSBDDs
5.
input-output equivalence transformations
6.
linear transformations
7.
matrix transformations
8.
model transformations
9.
organic transformations
10.
social transformations
11.
state and output transformations
12.
structural transformations
13.
transformations
14.
anaerobic digestion, microbial communities, organic fraction municipal solid waste, renewable natural gas, synergy
15.
business income of a natural person
16.
controlled natural language
17.
integrated electricity and natural gas system (IEGS)
18.
local natural materials
19.
Multi-area coordination of integrated electricity and natural gas transmission system
20.
natural
21.
natural alkylresorcinols
22.
natural attenuation
23.
natural background
24.
natural background model
25.
natural boundary conditions at joints
26.
natural capital
27.
natural compounds
28.
natural convection
29.
natural daylight
30.
natural deep eutectic solvents
31.
natural disaster threats
32.
natural disasters
33.
natural environment
34.
natural fluorcarbonateapatite
35.
natural freshwater
36.
natural gas
37.
natural hazard
38.
natural hazards
39.
natural inflation
40.
natural interferences
41.
natural kinds
42.
natural language processing
43.
natural lan-guage processing
44.
natural language processing (NLP)
45.
natural language to database interface
46.
natural language understanding
47.
natural law
48.
natural lighting
49.
Natural logic
50.
Natural materials
51.
natural monopoly
52.
natural paint
53.
Natural pigments
54.
natural products
55.
Natural radioactivity
56.
natural radionuclides
57.
natural remanent magnetization
58.
Natural resource justice
59.
Natural Resource Management
60.
natural resources
61.
natural sciences
62.
natural species
63.
natural tartaric acid
64.
natural tracers
65.
natural variation
66.
natural water
67.
natural waters
68.
natural weathering
69.
natural ventilation
70.
natural ventilation system
71.
Nunavut natural resource development
72.
renewable natural gas
73.
semanting parsing the natural language
74.
semi natural meadows
75.
semi-natural grasslands
76.
semi-natural woodlands
77.
supply routes for natural gas
78.
theory of natural disaster
×
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