Otsing - TalTech teadusportaal

kuva

reasta

76001

raamat

Pronksiajast läbi rauaaja tänapäeva. Vask ; Pronksiajast läbi rauaaja tänapäeva. RaudKulu, Priit2019 https://www.ester.ee/record=b5284667*est

raamat

76002

raamat

Pronksiajast läbi rauaaja tänapäeva. Hõbe ; Pronksiajast läbi rauaaja tänapäeva. KuldKulu, Priit2022 https://www.ester.ee/record=b5507862*est

raamat

76003

artikkel kogumikus

Pronksiöö tõi küberkaitse õppekava : [magistritaseme õppes TÜ ja TTÜ koostöös]Tisler, EveUniversitas Tartuensis : UT : Tartu Ülikooli ajakiri2010 / märts, lk. 22-23 : fot

artikkel kogumikus

76004

artikkel ajakirjas

Pronksvärvid ja trükkimine nendegaTrükitehnika1937 / lk. 167-169

artikkel ajakirjas

76005

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

76006

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

76007

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

76008

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

76009

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

76010

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

76011

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

76012

artikkel ajakirjas

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

artikkel ajakirjas

76013

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

76014

artikkel kogumikus

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

artikkel kogumikus

76015

artikkel ajakirjas

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

artikkel ajakirjas

76016

artikkel ajakirjas

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

artikkel ajakirjas

76017

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

76018

artikkel ajakirjas

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

artikkel ajakirjas

76019

artikkel ajakirjas

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

artikkel ajakirjas

76020

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

76021

artikkel ajakirjas

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

artikkel ajakirjas

76022

artikkel ajakirjas

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

artikkel ajakirjas

76023

artikkel ajakirjas

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

artikkel ajakirjas

76024

artikkel ajakirjas

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

artikkel ajakirjas

76025

artikkel ajakirjas

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

artikkel ajakirjas

teaviku laadid