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
logic in computer science (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..
(3/196)
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
artikkel ajakirjas
Concurrent process histories and resource transducers
Nester, Chad Mitchell
Logical methods in computer science
2023
/
p. 7:1-7:22 : ill
https://doi.org/10.46298/LMCS-19(1:7)2023
artikkel ajakirjas
Seotud publikatsioonid
1
Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
2
artikkel ajakirjas
A framework for modelling, verification and transformation of concurrent imperative programs
Bortin, Maksym
arXiv.org
2020
/
57 p
https://arxiv.org/abs/2007.02261
https://doi.org/10.48550/arXiv.2007.02261
artikkel ajakirjas
3
artikkel ajakirjas
Monoidal width
Di Lavore, Elena
;
Sobocinski, Pawel Maria
Logical methods in computer science
2023
/
p. 15:1–15:46 : ill
https://doi.org/10.46298/LMCS-19(3:15)2023
artikkel ajakirjas
Seotud publikatsioonid
1
Monoidal width = Monoidiline laius
Kirjeid leitud 3, kuvan
1 - 3
võtmesõna
189
1.
logic in computer science
2.
computer science
3.
computer science basics
4.
computer science education
5.
logic and philosophy of logic
6.
algebra of logic
7.
binary logic controller
8.
Boolean logic
9.
default logic
10.
diagrammatic logic
11.
digital logic
12.
dynamic logic
13.
epistemic logic
14.
formal logic
15.
fuzzy logic
16.
fuzzy logic
17.
fuzzy logic control
18.
fuzzy logic controller
19.
fuzzy logic controller (FLC)
20.
fuzzy logic model
21.
graphical method of logic
22.
history of logic
23.
Hoare logic
24.
Husserl and Pierce on logic of probability
25.
independence-friendly logic
26.
intuitionistic logic
27.
linear logic
28.
logic
29.
logic built-in self-test
30.
logic circuit
31.
logic design
32.
logic diagram
33.
logic diagrams
34.
logic education
35.
logic for pragmatics
36.
logic gates
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.
programmable logic
61.
quantitative logic
62.
quantum logic
63.
race logic
64.
reconfigurable logic
65.
routing logic
66.
S4 modal logic
67.
S-D logic
68.
Service-Dominant logic
69.
stateful logic computation
70.
symbolic knowledge in Husserlian pure logic
71.
symbolic logic
72.
temporal logic
73.
computer
74.
computer aided design
75.
computer aided diagnosis
76.
computer aided diagnostics
77.
computer aided instruction
78.
computer aided manufacturing
79.
computer aided testing
80.
computer algebra
81.
computer algebra system
82.
computer and education
83.
computer anxiety
84.
computer architecture
85.
computer assisted language learning
86.
computer based learning
87.
computer circuits
88.
computer control
89.
computer education
90.
computer engineering
91.
computer engineerng
92.
computer game
93.
computer graphics
94.
computer hardware
95.
computer integrated manufacturing
96.
computer network management
97.
computer network operations
98.
computer networks
99.
computer pipelines
100.
computer programming
101.
computer programs
102.
computer security
103.
computer simulation
104.
computer simulation environments
105.
computer simulations
106.
computer software
107.
computer softwaregraph theory
108.
computer systems
109.
computer terminals
110.
computer vision
111.
computer workers
112.
computer-aided anthropometry
113.
computer-aided architectural design (CAAD)
114.
computer‐aided assessment
115.
computer-aided design
116.
computer-aided detection
117.
computer‐aided detection
118.
computer-aided diagnosis
119.
computer-aided drawing (CAD)
120.
computer-aided engineering
121.
computer-aided teaching
122.
computer-aided tuning (CAT)
123.
computer-assisted language learning (CALL)
124.
computer-oriented technologies
125.
computer-supported decision-making
126.
computer-use
127.
control engineering computer applications
128.
distributed computer systems
129.
education in computer engineering
130.
fifth generation computer
131.
gateways (computer networks)
132.
high-performance computer systems
133.
human computer interaction
134.
human computer interaction (HCI)
135.
human-computer interaction
136.
Human-Computer Interaction (HCI)
137.
interactive computer graphics
138.
laptop computer
139.
single board computer
140.
structure computer analysis
141.
ubiquitous computer technology
142.
Web and computer-based learning
143.
applied science
144.
chemistry and philosophy of science
145.
citizen science
146.
classical exact science
147.
computational social science
148.
data science
149.
data-science
150.
design science
151.
design science research
152.
design-science
153.
energy science and technology
154.
engineering pedagogy science
155.
environmental science
156.
ethics of science
157.
exact science
158.
materials science
159.
NATO. Science for Peace and Security Program
160.
non-classical exact science
161.
philosophy of science
162.
physics and philosophy of science
163.
planetary science
164.
political science
165.
popular science literature
166.
post normal science
167.
post-normal science
168.
Q science
169.
science
170.
science and arts
171.
science and technology libraries
172.
science fiction
173.
science gateway
174.
science integration
175.
science mapping
176.
science policy
177.
science technology innovation
178.
Science, Technology and Innovation Policy
179.
science-based industries
180.
science-policy-society interface
181.
Social Science
182.
social science methodology
183.
sustainability science
184.
transdisciplinary science
185.
Web of Science
186.
World Academy of Art and Science (WAAS)
187.
ȹ-science
188.
φ-science
189.
ϕ-science
märksõna
6
1.
Estonian Summer School on Computer and Systems Science, 2023
2.
Baltic Computer Systems
3.
National Computer Security Incident Response Teams (N-CSIRTs)
4.
Norwegian University of Science and Technology
5.
The European Federation of Food Science and Technology (EFFoST)
6.
Web of Science
autor
1
1.
Department of Software Science, Tallinn University of Technology
×
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