Otsing - TalTech teadusportaal

Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English

Publikatsioonid

Publikatsioonid

Otsing

Valitud kirjed 0

logic in computer science (võtmesõna)

—

—

—

—

Lisa tingimus Liitotsing filter

Tühista

teaviku laadid

raamat ..

artikkel ajakirjas ..

artikkel ajalehes ..

artikkel kogumikus ..

dissertatsioon ..

Open Access ..

Teaduspublikatsioon ..

aasta

Toon andmeid..

Toon andmeid..

TTÜ struktuuriüksus

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Tühista

Kirjeid leitud 4
Vaata veel.. (3/242)
Ekspordi

ekspordi kõik päringu tulemused (4)
Salvesta TXT fail

prindi
Märgitud kirjetega toimetamiseks ava valitud kirjed

kuva

reasta
1

artikkel ajakirjas

Coinductive streams in monoidal categoriesDi Lavore, Elena; De Felice, Giovanni; Roman Garcia, MarioLogical methods in computer science2025 / p. 18:1–18:52 : ill https://doi.org//10.46298/LMCS-21(3:18)2025

artikkel ajakirjas
2

artikkel ajakirjas EST / artikkel ajakirjas ENG

Concurrent process histories and resource transducersNester, Chad MitchellLogical methods in computer science2023 / p. 7:1-7:22 : ill https://doi.org/10.46298/LMCS-19(1:7)2023 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG
Seotud publikatsioonid 1
- Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
3

artikkel ajakirjas

A framework for modelling, verification and transformation of concurrent imperative programsBortin, MaksymarXiv.org2020 / 57 p https://arxiv.org/abs/2007.02261 https://doi.org/10.48550/arXiv.2007.02261

artikkel ajakirjas
4

artikkel ajakirjas EST / artikkel ajakirjas ENG

Monoidal widthDi Lavore, Elena; Sobocinski, Pawel MariaLogical methods in computer science2023 / p. 15:1–15:46 : ill https://doi.org/10.46298/LMCS-19(3:15)2023 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG
Seotud publikatsioonid 1
- Monoidal width = Monoidiline laius

Kirjeid leitud 4, kuvan 1 - 4

1. logic in computer science
2. logic of science
3. computer science
4. computer science basics
5. computer science education
6. logic and philosophy of logic
7. algebra of logic
8. binary logic controller
9. Boolean logic
10. Compound logic locking
11. Compound logic locking (CLL)
12. constraint logic programming
13. constraint logic programming (LP) (CLP)
14. constructive logic
15. default logic
16. diagrammatic logic
17. digital logic
18. dynamic logic
19. epistemic logic
20. ethics and logic
21. formal logic
22. fuzzy logic
23. fuzzy logic
24. fuzzy logic control
25. fuzzy logic controller
26. fuzzy logic controller (FLC)
27. fuzzy logic model
28. graphical method of logic
29. history of logic
30. Hoare logic
31. Husserl and Pierce on logic of probability
32. independence-friendly logic
33. Inductive logic programming
34. intuitionistic logic
35. linear logic
36. linear logic of Petri nets
37. logic
38. logic built-in self-test
39. logic cell library
40. logic circuit
41. logic design
42. logic diagram
43. logic diagrams
44. logic education
45. logic for pragmatics
46. logic gates
47. logic in AI
48. logic in society
49. logic level
50. logic level and high level BDDs
51. logic locking
52. logic machine
53. logic models
54. logic models and simulation
55. logic notation
56. logic obfuscation
57. logic of bunched implications
58. logic of relatives
59. logic of speech acts
60. logic simulation
61. logic synthesis
62. logic teaching
63. logic-based distributed routing
64. malicious logic
65. mathematical logic
66. modal logic
67. Natural logic
68. Peirce's existential graphs and transcendental logic
69. philosophical logic
70. philosophy of logic
71. pragmatic logic
72. probabilistic relational program logic
73. programmable logic
74. programmable logic controller (PLC)
75. quantitative logic
76. quantum logic
77. race logic
78. reconfigurable logic
79. routing logic
80. S4 modal logic
81. S-D logic
82. Semi-substructural logic
83. Service-Dominant logic
84. stateful logic computation
85. substructural logic
86. symbolic knowledge in Husserlian pure logic
87. symbolic logic
88. temporal logic
89. computer
90. computer aided design
91. computer aided diagnosis
92. computer aided diagnostics
93. computer aided instruction
94. computer aided language translation
95. computer aided manufacturing
96. computer aided methods
97. computer aided software engineering
98. computer aided testing
99. computer algebra
100. computer algebra system
101. computer and education
102. computer anxiety
103. computer architecture
104. computer assisted language learning
105. computer based learning
106. computer circuits
107. computer control
108. Computer crime
109. computer education
110. computer engineering
111. computer engineerng
112. computer game
113. computer graphics
114. computer hardware
115. computer integrated manufacturing
116. computer network management
117. computer network operations
118. computer networks
119. computer pipelines
120. computer programming
121. computer programming languages
122. computer programs
123. computer security
124. computer simulation
125. computer simulation environments
126. computer simulations
127. computer software
128. Computer software and hardware
129. computer softwaregraph theory
130. computer systems
131. Computer systems organization
132. computer terminals
133. computer vision
134. computer vision-based methods
135. computer workers
136. computer-aided anthropometry
137. computer-aided architectural design (CAAD)
138. computer‐aided assessment
139. computer-aided design
140. computer-aided design (CAD)
141. computer-aided detection
142. computer‐aided detection
143. computer-aided diagnosis
144. computer-aided drawing (CAD)
145. computer-aided engineering
146. computer-aided teaching
147. Computer-Aided Tuning
148. computer-aided tuning (CAT)
149. computer-assisted language learning (CALL)
150. computer-oriented technologies
151. computer-supported decision-making
152. computer-use
153. computer-workers
154. control engineering computer applications
155. distributed computer systems
156. education in computer engineering
157. fifth generation computer
158. gateways (computer networks)
159. high-performance computer systems
160. human computer interaction
161. human computer interaction (HCI)
162. human-computer interaction
163. human–computer interaction
164. Human-Computer Interaction (HCI)
165. human-computer trust
166. interactive computer graphics
167. laptop computer
168. single board computer
169. single-board computer
170. structure computer analysis
171. ubiquitous computer technology
172. Web and computer-based learning
173. applied science
174. big data science
175. chemistry and philosophy of science
176. citizen science
177. citizen science hub
178. classical exact science
179. cognitive science
180. computational social science
181. data science
182. data-science
183. decision science
184. design science
185. design science research
186. design-science
187. energy science and technology
188. engineering pedagogy science
189. environmental science
190. ethics of science
191. exact science
192. food science
193. forensic science
194. materials science
195. NATO. Science for Peace and Security Program
196. non-classical exact science
197. philosophy of science
198. physics and philosophy of science
199. planetary science
200. political science
201. popular science literature
202. post normal science
203. post-normal science
204. Q science
205. science
206. science advisors
207. science and arts
208. science and technology libraries
209. science and technology parks
210. Science Education
211. science fiction
212. science gateway
213. science integration
214. science mapping
215. science policy
216. science technology and innovation
217. science technology innovation
218. Science, Technology and Innovation Policy
219. science-based industries
220. science-driven models
221. science-policy-society interface
222. Security and political science
223. security science and technology
224. Social Science
225. social science methodology
226. sustainability science
227. Thomson Reuters Web of Science
228. transdisciplinary science
229. values in science
230. Web of Science
231. wood science and technology
232. World Academy of Art and Science (WAAS)
233. ȹ-science
234. φ-science
235. ϕ-science

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

1. Department of Software Science, Tallinn University of Technology

vaste

reasta

Otsing
Valikud 0

ilmumisaasta

autor

TTÜ struktuuriüksus

märksõna

seeria-sari

tema kohta

võtmesõna

TalTech Raamatukogu

Akadeemia tee 1

13519

TalTech koduleht TalTech Raamatukogu koduleht Digikogu Digiteek Teadusandmed

6203551

data@taltech.ee

TalTech Raamatukogu