Otsing - TalTech teadusportaal

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

Publikatsioonid

Publikatsioonid

Liitotsing

Valitud kirjed 0

logic in computer science (võtmesõna)

—

—

Lisa tingimus Lihtotsing 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/243)
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 systems programming
133. computer terminals
134. computer vision
135. computer vision-based methods
136. computer workers
137. computer-aided anthropometry
138. computer-aided architectural design (CAAD)
139. computer‐aided assessment
140. computer-aided design
141. computer-aided design (CAD)
142. computer-aided detection
143. computer‐aided detection
144. computer-aided diagnosis
145. computer-aided drawing (CAD)
146. computer-aided engineering
147. computer-aided teaching
148. Computer-Aided Tuning
149. computer-aided tuning (CAT)
150. computer-assisted language learning (CALL)
151. computer-oriented technologies
152. computer-supported decision-making
153. computer-use
154. computer-workers
155. control engineering computer applications
156. distributed computer systems
157. education in computer engineering
158. fifth generation computer
159. gateways (computer networks)
160. high-performance computer systems
161. human computer interaction
162. human computer interaction (HCI)
163. human-computer interaction
164. human–computer interaction
165. Human-Computer Interaction (HCI)
166. human-computer trust
167. interactive computer graphics
168. laptop computer
169. single board computer
170. single-board computer
171. structure computer analysis
172. ubiquitous computer technology
173. Web and computer-based learning
174. applied science
175. big data science
176. chemistry and philosophy of science
177. citizen science
178. citizen science hub
179. classical exact science
180. cognitive science
181. computational social science
182. data science
183. data-science
184. decision science
185. design science
186. design science research
187. design-science
188. energy science and technology
189. engineering pedagogy science
190. environmental science
191. ethics of science
192. exact science
193. food science
194. forensic science
195. materials science
196. NATO. Science for Peace and Security Program
197. non-classical exact science
198. philosophy of science
199. physics and philosophy of science
200. planetary science
201. political science
202. popular science literature
203. post normal science
204. post-normal science
205. Q science
206. science
207. science advisors
208. science and arts
209. science and technology libraries
210. science and technology parks
211. Science Education
212. science fiction
213. science gateway
214. science integration
215. science mapping
216. science policy
217. science technology and innovation
218. science technology innovation
219. Science, Technology and Innovation Policy
220. science-based industries
221. science-driven models
222. science-policy-society interface
223. Security and political science
224. security science and technology
225. Social Science
226. social science methodology
227. sustainability science
228. Thomson Reuters Web of Science
229. transdisciplinary science
230. values in science
231. Web of Science
232. wood science and technology
233. World Academy of Art and Science (WAAS)
234. ȹ-science
235. φ-science
236. ϕ-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