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
intuitionistic 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
2
Vaata veel..
(1/73)
Ekspordi
ekspordi kõik päringu tulemused
(2)
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 EST
/
artikkel kogumikus ENG
Beta assertive graphs
Bellucci, Francesco
;
Chiffi, Daniele
;
Pietarinen, Ahti-Veikko
Diagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings
2020
/
p. 525-529
https://doi.org/10.1007/978-3-030-54249-8_49
Conference proceedings at Scopus
Article at Scopus
Conference proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
2
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Beta assertive graphs : proofs of assertions with quantification
Bellucci, Francesco
;
Chiffi, Daniele
;
Pietarinen, Ahti-Veikko
Journal of applied logics : IfCoLog journal of logics and their applications
2021
/
23 p. : ill
https://www.collegepublications.co.uk/downloads/ifcolog00044.pdf
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Kirjeid leitud 2, kuvan
1 - 2
võtmesõna
73
1.
intuitionistic logic
2.
logic and philosophy of logic
3.
intuitionistic graphs
4.
intuitionistic S4
5.
algebra of logic
6.
binary logic controller
7.
Boolean logic
8.
default logic
9.
diagrammatic logic
10.
digital logic
11.
dynamic logic
12.
epistemic logic
13.
formal logic
14.
fuzzy logic
15.
fuzzy logic
16.
fuzzy logic control
17.
fuzzy logic controller
18.
fuzzy logic controller (FLC)
19.
fuzzy logic model
20.
graphical method of logic
21.
history of logic
22.
Hoare logic
23.
Husserl and Pierce on logic of probability
24.
independence-friendly logic
25.
linear logic
26.
logic
27.
logic built-in self-test
28.
logic cell library
29.
logic circuit
30.
logic design
31.
logic diagram
32.
logic diagrams
33.
logic education
34.
logic for pragmatics
35.
logic gates
36.
logic in computer science
37.
logic in society
38.
logic level
39.
logic level and high level BDDs
40.
logic locking
41.
logic models
42.
logic models and simulation
43.
logic notation
44.
logic obfuscation
45.
logic of bunched implications
46.
logic of relatives
47.
logic of speech acts
48.
logic simulation
49.
logic synthesis
50.
logic teaching
51.
logic-based distributed routing
52.
malicious logic
53.
mathematical logic
54.
modal logic
55.
Natural logic
56.
Peirce's existential graphs and transcendental logic
57.
philosophical logic
58.
philosophy of logic
59.
pragmatic logic
60.
probabilistic relational program logic
61.
programmable logic
62.
quantitative logic
63.
quantum logic
64.
race logic
65.
reconfigurable logic
66.
routing logic
67.
S4 modal logic
68.
S-D logic
69.
Service-Dominant logic
70.
stateful logic computation
71.
symbolic knowledge in Husserlian pure logic
72.
symbolic logic
73.
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