Otsing - TalTech teadusportaal

kuva

reasta

176

artikkel kogumikus

To Peirce Hintikka's Thoughts [Online resource]Pietarinen, Ahti-VeikkoHandbook of the 6th World Congress and School on Universal Logic2018 / p. 152 http://www.uni-log.org/pro2018/HANDBOOK-UNILOG2018.pdf

artikkel kogumikus

177

artikkel ajakirjas

Truth valued computing processes and process calculus: a formalism for describing programming logicKracht, WilhelmTallinna Tehnikaülikooli Toimetised1990 / lk. 55-94: ill

artikkel ajakirjas

178

artikkel kogumikus

A tutorial on design obfuscation : from transistors to systemsPagliarini, Samuel Nascimento2021 IEEE 22nd Latin American Test Symposium (LATS), Punta del Este, Uruguay, 27-29 October 20212021 / 3 p. : ill https://doi.org/10.1109/LATS53581.2021.9651741

artikkel kogumikus

179

artikkel kogumikus EST / artikkel kogumikus ENG

Two cognitive systems, two implications, and selection tasksBobrova, Angelina; Pietarinen, Ahti-VeikkoSoftware Engineering and Formal Methods : SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers2020 / p. 195 - 205 https://doi.org/10.1007/978-3-030-57506-9_15 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

180

artikkel kogumikus

Two dogmas of diagrammatic reasoning : a view from existential graphsPietarinen, Ahti-Veikko; Bellucci, FrancescoPeirce on perception and reasoning : from icons to logic2017 / p. 160-180

artikkel kogumikus

181

artikkel kogumikus EST / artikkel kogumikus ENG

Two implications and dual-process theories of reasoningBobrova, Angelina; Pietarinen, Ahti-VeikkoDiagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings2020 / p. 239-243 https://doi.org/10.1007/978-3-030-54249-8_19 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

182

artikkel ajakirjas

Tõene või väärMeos, IndrekHorisont2005 / 6, lk. 53 https://artiklid.elnet.ee/record=b2030431*est

artikkel ajakirjas

183

artikkel ajakirjas

Varjatud eeldustest meie arutlustesMeos, IndrekHorisont2003 / 1, lk. 51 https://artiklid.elnet.ee/record=b1011521*est

artikkel ajakirjas

184

artikkel ajakirjas

We don’t know we don’t know : asserting ignoranceCarrara, Massimiliano; Chiffi, Daniele; De Florio, Ciro; Pietarinen, Ahti-VeikkoSynthese2021 / p. 3565–3580 https://doi.org/10.1007/s11229-019-02300-y

artikkel ajakirjas

185

artikkel ajakirjas

We don't know we don't know : asserting ignoranceCarrara, Massimiliano; Chiffi, Daniele; De Florio, Ciro; Pietarinen, Ahti-VeikkoKnowing the Unknown : Philosophical Perspectives on Ignorance; Synthese2019 / 15 p https://doi.org/10.1007/s11229-019-02300-y

artikkel ajakirjas

186

artikkel kogumikus EST / artikkel kogumikus ENG

A Weakening of Alpha graphs : quasi-Boolean algebrasPietarinen, Ahti-Veikko; Ma, MinghuiDiagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18–22, 2018 : proceedings2018 / p. 549-564 https://doi.org/10.1007/978-3-319-91376-6_50 Conference Proceedings at Scopus Conference Proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

187

artikkel kogumikus

Web-based tool for FSM encoding targeting low-power FPGA implementationMihhailov, Dmitri; Sudnitsõn, Aleksander; Tarletski, Konstantin2010 27th International Conference on Microelectronics : MIEL 2010 : Niš, Serbia, 16-19 May 2010 : proceedings2010 / p. 349-352 https://ieeexplore.ieee.org/document/5490468

artikkel kogumikus

188

artikkel kogumikus EST / artikkel kogumikus ENG

Venn diagrams with “Most”: a natural logic approachLiu, Xinwen; Pietarinen, Ahti-VeikkoDiagrammatic Representation and Inference : 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021 : proceedings2021 / p. 264−268 : ill https://doi.org/10.1007/978-3-030-86062-2_27 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

189

raamat

Versus. 120, Peirceana three. Sull'iconismo = On iconism2015 http://versus.dfc.unibo.it/arc2b.php?numero=120

raamat

190

artikkel kogumikus

What makes symbolic logic "symbolic"?Moktefi, Amirouche15th Congress of Logic, Methodology and Philosophy of Science CLMPS 2015 : University of Helsinki, 3-8 August 2015 : book of abstracts2015 / p. 156-157 http://clmps.helsinki.fi/materials/CLMPS_LC_book%20of%20abstracts%2029.7.2015.pdf

artikkel kogumikus

191

raamat

"What the Tortoise said to Achilles" : Lewis Carroll's paradox of inference2016

raamat

192

artikkel ajakirjas

What the Tortoise said to Achilles : a selective bibliographyImholtz, Clare; Moktefi, AmiroucheThe Carrollian : the Lewis Carroll journal2016 / p. 125-136

artikkel ajakirjas

193

artikkel ajakirjas

What the Tortoise said to Achilles : introductionAbeles, Francine F.; Moktefi, AmiroucheThe Carrollian : the Lewis Carroll journal2016 / p. 2-5

artikkel ajakirjas

194

artikkel kogumikus

Why is the normativity of logic based on rules?Pietarinen, Ahti-VeikkoThe normative thought of Charles S. Peirce2012 / p. 172-184 https://www.researchgate.net/publication/365906369_8_Why_Is_the_Normativity_of_Logic_Based_on_Rules

artikkel kogumikus

195

artikkel ajakirjas EST / artikkel ajakirjas ENG

Why make things simple when you can make them complicated? An appreciation of Lewis Carroll's symbolic logicMoktefi, AmiroucheLogica universalis2021 / p. 359–379 : ill https://doi.org/10.1007/s11787-021-00286-1 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

196

raamat

Логика экономикиKoslov, Vladimir1991 https://www.ester.ee/record=b1206465*est

raamat

197

raamat

Логика экономики : (структурный словарь эконологики)Koslov, Vladimir1991 https://www.ester.ee/record=b1191415*est

raamat

198

artikkel kogumikus

Минимальная семантика логических программHenno, JaakII Всесоюзная конференция по прикладной логике, Новосибирск, 7-9 июня 1988 г. : тезисы докладов1988 / с. 231-232 https://www.ester.ee/record=b2681097*est

artikkel kogumikus

199

artikkel kogumikus

Об интерпретативном моделировании неисправностей в комбинационных логистических схемахViilup, Agu; Kitsnik, Peeter; Ubar, Raimund-JohannesТруды по электротехнике и автоматике : сборник статей. 111973 / с. 79-88 : илл https://www.ester.ee/record=b2190624*est https://digikogu.taltech.ee/et/Item/d6e57925-e104-44e1-a218-c5b3110d9996

artikkel kogumikus

200

artikkel ajalehes

По логике вещейSmoljak, LiaЛенинское знамя : орган Кохтла-Ярвеского городского и районого комитетов Компартии Эстоний, городского и районного Советов народных депутатов1989 / с. [?] https://www.ester.ee/record=b1528511*est

artikkel ajalehes

loogika (märksõna)

teaviku laadid

märksõna 12