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
modal logic (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
3
Vaata veel..
(1/92)
Ekspordi
ekspordi kõik päringu tulemused
(3)
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
raamat
Diagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018 : proceedings
2018
https://doi.org/10.1007/978-3-319-91376-6
raamat
2
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Gamma graph calculi for modal logics
Ma, Minghui
;
Pietarinen, Ahti-Veikko
Synthese
2018
/
p. 3621–3650 : ill
https://doi.org/10.1007/s11229-017-1390-3
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
3
artikkel ajakirjas
Perspectives on clinical possibility : elements of analysis
Chiffi, Daniele
;
Zanotti, Renzo
Journal of evaluation in clinical practice
2016
/
p. 509-514
http://dx.doi.org/10.1111/jep.12447
artikkel ajakirjas
Kirjeid leitud 3, kuvan
1 - 3
võtmesõna
92
1.
modal logic
2.
S4 modal logic
3.
logic and philosophy of logic
4.
experimental modal analysis
5.
modal analysis
6.
modal dispersion
7.
modal expansion method
8.
Modal mineralogy
9.
modal shift
10.
modal split
11.
modal types
12.
Multi-modal chatbots
13.
multi-modal logistics management
14.
secure inter-modal logistics
15.
algebra of logic
16.
binary logic controller
17.
Boolean logic
18.
Compound logic locking
19.
Compound logic locking (CLL)
20.
constructive logic
21.
default logic
22.
diagrammatic logic
23.
digital logic
24.
dynamic logic
25.
epistemic logic
26.
ethics and logic
27.
formal logic
28.
fuzzy logic
29.
fuzzy logic
30.
fuzzy logic control
31.
fuzzy logic controller
32.
fuzzy logic controller (FLC)
33.
fuzzy logic model
34.
graphical method of logic
35.
history of logic
36.
Hoare logic
37.
Husserl and Pierce on logic of probability
38.
independence-friendly logic
39.
Inductive logic programming
40.
intuitionistic logic
41.
linear logic
42.
logic
43.
logic built-in self-test
44.
logic cell library
45.
logic circuit
46.
logic design
47.
logic diagram
48.
logic diagrams
49.
logic education
50.
logic for pragmatics
51.
logic gates
52.
logic in computer science
53.
logic in society
54.
logic level
55.
logic level and high level BDDs
56.
logic locking
57.
logic machine
58.
logic models
59.
logic models and simulation
60.
logic notation
61.
logic obfuscation
62.
logic of bunched implications
63.
logic of relatives
64.
logic of science
65.
logic of speech acts
66.
logic simulation
67.
logic synthesis
68.
logic teaching
69.
logic-based distributed routing
70.
malicious logic
71.
mathematical logic
72.
Natural logic
73.
Peirce's existential graphs and transcendental logic
74.
philosophical logic
75.
philosophy of logic
76.
pragmatic logic
77.
probabilistic relational program logic
78.
programmable logic
79.
programmable logic controller (PLC)
80.
quantitative logic
81.
quantum logic
82.
race logic
83.
reconfigurable logic
84.
routing logic
85.
S-D logic
86.
Semi-substructural logic
87.
Service-Dominant logic
88.
stateful logic computation
89.
substructural logic
90.
symbolic knowledge in Husserlian pure logic
91.
symbolic logic
92.
temporal logic
×
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