Searching - TalTech Research Portal

display

sort

14826

book article EST / book article ENG

Diagrammatic algebra of first order logicBonchi, Filippo; Di Giorgio, Alessandro; Haydon, Nathan Joseph; Sobocinski, Pawel MariaLICS '24 : proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science2024 / art. 16, p. 1-15 : ill https://doi.org/10.1145/3661814.3662078 Conference proceeding at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

Related publications 1

Peirce’s existential graphs and the logic of string diagrams = Peirce’i eksistentsiaalsed graafid ja nööridiagrammide loogika

14827

journal article

Diagrammatic algebra of first order logic : [preprint]Bonchi, Filippo; Di Giorgio, Alessandro; Haydon, Nathan Joseph; Sobocinski, Pawel MariaarXiv.org2024 / 34 p. : ill https://doi.org/10.48550/arXiv.2401.07055

journal article

14828

book article EST / book article ENG

Diagrammatic autarchy : linear diagrams in the 17th and 18th centuriesBellucci, Francesco; Moktefi, Amirouche; Pietarinen, Ahti-VeikkoDLAC 2013 : Diagrams, Logic and Cognition : proceedings of the First International Workshop on Diagrams, Logic and Cognition : Kolkata, India, October 28-29, 20132013 / p. 26-30 : ill https://www.researchgate.net/publication/280098290_Diagrammatic_Autarchy_Linear_diagrams_in_the_17th_and_18th_centuries Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

14829

book article EST / book article ENG

Diagrammatic polyhedral algebraBonchi, Filippo; Di Giorgio, Alessandro; Sobocinski, Pawel Maria41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)2021 / p. 40:1-40:18 https://doi.org/10.4230/LIPIcs.FSTTCS.2021.40 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

14830

journal article

Diagrammatic reasoning : some notes on Charles S. Peirce and Friedrich A. LangeBellucci, FrancescoHistory and philosophy of logic2013 / p. 293-305

journal article

14831

book article

Diagrammatic reasoning : the end of scepticism? [Online resource]Moktefi, AmiroucheCommunication – Culture – Consciousness : 8th Budapest Visual Leaning Conference : abstracts2018 / p. 48-49 http://www.vll.bme.hu/wp-content/uploads/2018/04/VLC8_abstracts_booklet.pdf

book article

14832

book

Diagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018 : proceedings2018 https://doi.org/10.1007/978-3-319-91376-6

book

14833

book

Diagrammatic Representation and Inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings2020 https://doi.org/10.1007/978-3-030-54249-8

book

14834

journal article

Diagrammatikus érvelés - a kétkedés vége? = Diagrammatic Reasoning : The End of Scepticism?Moktefi, AmiroucheMagyar Tudomany2019 / p. 970–978 http://dx.doi.org/10.1556/2065.180.2019.7.4

journal article

14835

journal article

Diagramme põlevkivi suitsu jaoksMaltenek, E.Tehnika Ajakiri1934 / lk. 139-142 : joon

journal article

14836

book article

Diagrams as scientific instrumentsMoktefi, AmiroucheVirtual reality - real visuality : virtual, visual, veridical2017 / p. 81-89

book article

14837

book article

Diagrams or rubbishPietarinen, Ahti-VeikkoCharles Sanders Peirce in his own words : 100 years of semiotics, communication and cognition2014 / p. 115-120

book article

14838

book article

Dialect adaptation and data augmentation for low-resource ASR: Taltech systems for the MADASR 2023 ChallengeAlumäe, Tanel; Kong, Jiaming; Robnikov, Daniil2023 IEEE Automatic Speech Recognition and Understanding Workshop (ASRU), 16-20 Dec. 2023, Taipei, Taiwan2023 / p. 1-7 https://doi.org/10.1109/ASRU57964.2023.10389668

book article

14839

journal article

Dialektika ja teadusMaasik, VoldemarHorisont1969 / lk. 1-6 : ill https://www.ester.ee/record=b1072243*est http://www.digar.ee/id/nlib-digar:288338

journal article

14840

book

Dialektiline ja ajalooline materialism : kontrolltööde temaatika kaugüliõpilasteleEller, Arnold1978 https://www.ester.ee/record=b2646933*est

book

14841

book

Dialektiline ja ajalooline materialism : metoodiline juhend ja kontrolltööde temaatika kaugüliõpilastele1969 https://www.ester.ee/record=b1333901*est

book

14842

journal article

Dialektiline materialism ja looduseteadusJürisson, N.Tehnika ja Teadus1933 / lk. 13-17

journal article

14843

newspaper article

Dialoog arvutiga : [rubriigis "Lugejaga vestleb..."]Lageda, PeeterEdasi : EKP Tartu Linnakomitee, EKP Tartu Rajoonikomitee, Tartu Linna RSN ja Tartu Rajooni RSN häälekandja1980 / lk. [?] https://www.ester.ee/record=b1271061*est

newspaper article

14844

newspaper article

Dialoog autoteedestPihlak, IlmarNoorte Hääl : ELKNÜ Keskkomitee häälekandja1971 / lk. 2 https://www.ester.ee/record=b1320792*est

newspaper article

14845

book article

Dialoog PlatonigaMägi, MargusLoogika ja mõtlemine1994 / lk. 3-14 https://www.ester.ee/record=b1067802*est

book article

14846

journal article

Dialoogi ergutavad suhtlemistehnikadElenurm, TaimiPersonali Praktik : Pp2013 / lk. 19

journal article

14847

book article

Dialoogid raamatukogus - uus koolitusprogrammTõiste, TuulikiEesti Raamatukoguhoidjate Ühingu aastaraamat 20222023 / lk. 22-23 https://www.ester.ee/record=b1209172*est

book article

14848

book article

Dialoogrežiimis õpetamisprogramm mikroarvutilKöstner, AdoArvutite ja tehniliste vahendite kasutamine õppetöös : TPI 50. aastapäevale pühendatud teaduslik-metoodilise konverentsi, 26.-27. märtsil : ettekannete teesid1986 / lk. 62-63 https://www.ester.ee/record=b1206593*est

book article

14849

dissertation

Dialysis dose and nutrition assessment by an optical method = Dialüüsravi doosi ja patsientide toitumuse hindamine optilise meetodigaLuman, Merike2010 https://www.ester.ee/record=b2599301*est

dissertation

14850

journal article

Dialysis patients survival in HD centres from Belgium, Estonia, Spain, and Sweden—association with BMI and hypocalcemiaHolmar, Jana; Luman, Merike; Adoberg, Annika; Leis, Liisi; Paats, Joosep; Uhlin, Fredrik; Ortiz, Alberto; Gloerieux, Griet; Dhondt, Annemieke; Pilt, Kristjan; Tanner, Risto; Fridolin, IvoNephrology Dialysis Transplantation2024 / p. i1456–i1457 https://doi.org/10.1093/ndt/gfae069.885 Journal metrics at WOS Article at WOS

journal article

types of item