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
formal 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/89)
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
Advances in Model and Data Engineering in the Digitalization Era : MEDI 2021 International Workshops : DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, Estonia, June 21–23, 2021 : proceedings
2021
https://doi.org/10.1007/978-3-030-87657-9
raamat
2
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
3
artikkel kogumikus EST
/
artikkel kogumikus ENG
Preface
Bellatreche, Ladjel
;
Chernishev, George
;
Corral, Antonio
;
Ouchani, Samir
;
Vain, Jüri
Advances in Model and Data Engineering in the Digitalization Era : MEDI 2021 International Workshops : DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, Estonia, June 21–23, 2021 : proceedings
2021
/
p. v-vii
https://link.springer.com/content/pdf/bfm:978-3-030-87657-9/1?pdf=chapter%20toc
Article collection metrics at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
Kirjeid leitud 3, kuvan
1 - 3
võtmesõna
89
1.
formal logic
2.
logic and philosophy of logic
3.
Automata, Formal Verification
4.
Formal
5.
formal and combined safety elements
6.
formal and informal
7.
formal concept analysis
8.
formal education
9.
formal ferification
10.
formal language theory
11.
formal methods
12.
formal PMS
13.
formal rationality
14.
formal reasoning
15.
formal revolution
16.
formal semantics
17.
formal specification
18.
formal verification
19.
mandatory formal concepts
20.
non-formal education
21.
rigorous formal diagrammatic system
22.
top-K formal concepts
23.
algebra of logic
24.
binary logic controller
25.
Boolean logic
26.
default logic
27.
diagrammatic logic
28.
digital logic
29.
dynamic logic
30.
epistemic logic
31.
fuzzy logic
32.
fuzzy logic
33.
fuzzy logic control
34.
fuzzy logic controller
35.
fuzzy logic controller (FLC)
36.
fuzzy logic model
37.
graphical method of logic
38.
history of logic
39.
Hoare logic
40.
Husserl and Pierce on logic of probability
41.
independence-friendly logic
42.
intuitionistic logic
43.
linear logic
44.
logic
45.
logic built-in self-test
46.
logic circuit
47.
logic design
48.
logic diagram
49.
logic diagrams
50.
logic education
51.
logic for pragmatics
52.
logic gates
53.
logic in computer science
54.
logic in society
55.
logic level
56.
logic level and high level BDDs
57.
logic locking
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 speech acts
65.
logic simulation
66.
logic synthesis
67.
logic teaching
68.
logic-based distributed routing
69.
malicious logic
70.
mathematical logic
71.
modal logic
72.
Natural logic
73.
Peirce's existential graphs and transcendental logic
74.
philosophical logic
75.
philosophy of logic
76.
pragmatic logic
77.
programmable logic
78.
quantitative logic
79.
quantum logic
80.
race logic
81.
reconfigurable logic
82.
routing logic
83.
S4 modal logic
84.
S-D logic
85.
Service-Dominant logic
86.
stateful logic computation
87.
symbolic knowledge in Husserlian pure logic
88.
symbolic logic
89.
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