Otsing - TalTech teadusportaal

kuva

reasta

75726

artikkel ajakirjas EST / artikkel ajakirjas ENG

Proof analysis of Peirce's alpha system of graphsMa, Minghui; Pietarinen, Ahti-VeikkoStudia logica2017 / p. 625-647 : ill https://doi.org/10.1007/s11225-016-9703-y Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

75727

artikkel kogumikus EST / artikkel kogumikus ENG

Proof theory of partially normal skew monoidal categoriesUustalu, Tarmo; Veltri, Niccolo; Zeilberger, NoamProceedings of the 3rd Annual International Applied Category Theory Conference 20202021 / p. 1-17 https://doi.org/10.48550/arXiv.2101.10487 Conference Proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

75728

dissertatsioon

Proof theory of semi-substructural logics = Pool-allstruktuursete loogikate tõestusteooriaWan, Cheng-Syuan2025 https://digikogu.taltech.ee/et/Item/34f5f36e-f48f-400b-bca1-2a59ac30c392 https://www.ester.ee/record=b5752421*est https://doi.org/10.23658/taltech.43/2025

dissertatsioon

Seotud publikatsioonid 4

75729

artikkel kogumikus EST / artikkel kogumikus ENG

Proof theory of skew non-commutative MILLUustalu, Tarmo; Veltri, Niccolo; Wan, Cheng-SyuanProceedings of 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, 14. March, 20222022 / p. 118-135 https://doi.org/10.4204/EPTCS.358.9 Conference Proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

Seotud publikatsioonid 1

Proof theory of semi-substructural logics = Pool-allstruktuursete loogikate tõestusteooria

75730

artikkel ajakirjas EST / artikkel ajakirjas ENG

A proof-theoretic study of bi-intuitionistic propositional sequent calculusPinto, Luis; Uustalu, TarmoJournal of logic and computation2018 / p. 165-202 https://doi.org/10.1093/logcom/exx044 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

75731

artikkel ajakirjas

Proosa meie elus ehk tutvumisretk metallide maailmaPapstel, JüriHorisont1969 / lk. 17-22 : foto https://www.ester.ee/record=b1072243*est https://www.digar.ee/arhiiv/et/perioodika/69605

artikkel ajakirjas

75732

artikkel kogumikus

Prootoni transport peptiididesMetsala, Andrus; Schlag, E.W.XXIX Eesti keemiapäevad : teaduskonverentsi ettekannete teesid = 29th Estonian Chemistry Days : abstracts of scientific conference2005 / lk. 64-65

artikkel kogumikus

75733

artikkel ajakirjas

ProotonmäluToomsalu, ArvoA & A2008 / lk. 8-15 : ill https://artiklid.elnet.ee/record=b1022653*est

artikkel ajakirjas

75734

artikkel kogumikus

Proovi voo sisestus kapillaarelektroforeesisKuldvee, RuthXXV Eesti keemiapäevad : teaduskonverentsi ettekannete referaadid = 25th Estonian Chemistry Days : abstracts of scientific conference1999 / lk. 62

artikkel kogumikus

75735

artikkel kogumikus

Proovide võtmine ja teimimineLemberg, U.; Oll, KülluXIII Eesti geotehnika konverents : artiklid2008 / lk. 38-45

artikkel kogumikus

75736

artikkel ajakirjas

Proovige, ei kahetseLipre, EndlaNõukogude Naine : EKP Keskkomitee ajakiri1988 / lk. 15 https://www.ester.ee/record=b1181389*est

artikkel ajakirjas

75737

artikkel ajakirjas

Proovigem!Lipre, EndlaNoorte kalender 19881987 / lk. 182-186 https://www.ester.ee/record=b1535025*est

artikkel ajakirjas

75738

artikkel ajakirjas

Proovimiseks ehk liigagi uuenduslik tarkvara Revit MEP 2011Puust, RaidoKeskkonnatehnika2010 / 5, lk. 36-38 : ill https://artiklid.elnet.ee/record=b2154952*est

artikkel ajakirjas

75739

artikkel ajakirjas

Proovimisele alluvad kõik aparaadid : [proovimistunnistused igale raadioaparaadile]Raadio1926 / lk. 156

artikkel ajakirjas

75740

artikkel ajakirjas

Proovisõit põlevkiviga : [veduri kütteaineks jahvatatud põlevkivipulber]Eesti Tehnika Seltsi Ajakiri1920 / lk. 230-231

artikkel ajakirjas

75741

artikkel ajakirjas

Prooviteede ehitamisest HarjumaalAmbros, R.Tee ja Tehnika1929 / 10, lk. 149-154; 11, lk. 171-173; Tehnika Ajakiri (1930) 2, lk. 30-31; 4, lk. 60-62

artikkel ajakirjas

75742

artikkel ajakirjas

Proovitud 60 aparaati : [Riiklikus Katsekojas]Raadio1926 / lk. 156

artikkel ajakirjas

75743

artikkel ajakirjas

Proovitöid kodumaal valmistatud reaskülvimasinategaKäsebier, A.Põllumajandus1935 / lk. 967

artikkel ajakirjas

75744

artikkel ajakirjas

Proovitööde aruanne toorlina-harimismasinate võrdlusproovitöö kohtaRitslaid, J.Agronoomia1939 / lk. 39-45

artikkel ajakirjas

75745

artikkel ajakirjas

Propaganda Aristotelesest tänapäevaniUudelepp, AguRiigikogu Toimetised2005 / lk. 170-176

artikkel ajakirjas

75746

artikkel ajakirjas

Propaganda ei kao kuhugiUudelepp, AguRiigikogu Toimetised2003 / lk. 155-158 : portr

artikkel ajakirjas

75747

artikkel ajakirjas

Propaganda instruments in contemporary campaigns : comparison of Estonian political TV advertisements and modern TV commercialsUudelepp, AguThe review of European and Russian affairs2007 / 1, p. 2-18

artikkel ajakirjas

75748

dissertatsioon

Propagandainstrumendid poliitilistes ja poliitikavälistes telereklaamidesUudelepp, Agu2008 https://www.ester.ee/record=b2338311*est

dissertatsioon

75749

artikkel ajakirjas

Propagandapäev elektrile kodumajapidamises [ja näitus Tallinnas 30. X - 4. XI]Tehnika Kõigile1936 / lk. 170

artikkel ajakirjas

75750

dissertatsioon

Propagandateooria ja -tehnikate areng 20. sajandilUudelepp, Agu; Teichmann, Mare2005 https://www.ester.ee/record=b2070853*est

dissertatsioon

teaviku laadid