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/82)
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
82
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.
Compound logic locking
9.
Compound logic locking (CLL)
10.
constructive logic
11.
default logic
12.
diagrammatic logic
13.
digital logic
14.
dynamic logic
15.
epistemic logic
16.
ethics and logic
17.
formal logic
18.
fuzzy logic
19.
fuzzy logic
20.
fuzzy logic control
21.
fuzzy logic controller
22.
fuzzy logic controller (FLC)
23.
fuzzy logic model
24.
graphical method of logic
25.
history of logic
26.
Hoare logic
27.
Husserl and Pierce on logic of probability
28.
independence-friendly logic
29.
Inductive logic programming
30.
linear logic
31.
logic
32.
logic built-in self-test
33.
logic cell library
34.
logic circuit
35.
logic design
36.
logic diagram
37.
logic diagrams
38.
logic education
39.
logic for pragmatics
40.
logic gates
41.
logic in computer science
42.
logic in society
43.
logic level
44.
logic level and high level BDDs
45.
logic locking
46.
logic machine
47.
logic models
48.
logic models and simulation
49.
logic notation
50.
logic obfuscation
51.
logic of bunched implications
52.
logic of relatives
53.
logic of science
54.
logic of speech acts
55.
logic simulation
56.
logic synthesis
57.
logic teaching
58.
logic-based distributed routing
59.
malicious logic
60.
mathematical logic
61.
modal logic
62.
Natural logic
63.
Peirce's existential graphs and transcendental logic
64.
philosophical logic
65.
philosophy of logic
66.
pragmatic logic
67.
probabilistic relational program logic
68.
programmable logic
69.
programmable logic controller (PLC)
70.
quantitative logic
71.
quantum logic
72.
race logic
73.
reconfigurable logic
74.
routing logic
75.
S4 modal logic
76.
S-D logic
77.
Service-Dominant logic
78.
stateful logic computation
79.
substructural logic
80.
symbolic knowledge in Husserlian pure logic
81.
symbolic logic
82.
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