Searching - TalTech Research Portal

display

sort

76001

book article EST / book article 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

book article EST / book article ENG

Related publications 1

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

76002

journal article EST / journal article 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

journal article EST / journal article ENG

76003

journal article

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

journal article

76004

book article

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

book article

76005

journal article

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

journal article

76006

book article

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

book article

76007

book article

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

book article

76008

journal article

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

journal article

76009

journal article

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

journal article

76010

journal article

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

journal article

76011

journal article

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

journal article

76012

journal article

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

journal article

76013

journal article

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

journal article

76014

journal article

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

journal article

76015

journal article

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

journal article

76016

journal article

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

journal article

76017

journal article

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

journal article

76018

journal article

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

journal article

76019

journal article

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

journal article

76020

dissertation

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

dissertation

76021

journal article

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

journal article

76022

dissertation

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

dissertation

76023

book article

Propagandavõtete kasutamine Riigikogu ja Vabariigi Valitsuse avalikus suhtlemisesUudelepp, AguUsaldus. Vastutus. Sidusus : Eesti sotsiaalteaduste III aastakonverents, 22.-23. novembril 2002 Tallinnas2002 / lk. 297-300

book article

76024

journal article

Propagandisti loominguline plaanLillemäe, VambolaEesti Kommunist : EKP KK teoreetiline ja poliitiline ajakiri1976 / lk. 95-99 https://www.ester.ee/record=b1253626*est

journal article

76025

book article

Propagated and real values in Estonian organisations according to conflict management analysisVirovere, Anu; Titov, Eneken; Kuimet, Karin; Meel, MariInternational business - Baltic business development2013 / p. 107-124 : tab

book article

types of item