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/91)
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
91
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 cell library
47.
logic circuit
48.
logic design
49.
logic diagram
50.
logic diagrams
51.
logic education
52.
logic for pragmatics
53.
logic gates
54.
logic in computer science
55.
logic in society
56.
logic level
57.
logic level and high level BDDs
58.
logic locking
59.
logic models
60.
logic models and simulation
61.
logic notation
62.
logic obfuscation
63.
logic of bunched implications
64.
logic of relatives
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.
modal logic
73.
Natural logic
74.
Peirce's existential graphs and transcendental logic
75.
philosophical logic
76.
philosophy of logic
77.
pragmatic logic
78.
probabilistic relational program logic
79.
programmable logic
80.
quantitative logic
81.
quantum logic
82.
race logic
83.
reconfigurable logic
84.
routing logic
85.
S4 modal logic
86.
S-D logic
87.
Service-Dominant logic
88.
stateful logic computation
89.
symbolic knowledge in Husserlian pure logic
90.
symbolic logic
91.
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