Õpiprogramm Bethi tabelite konstrueerimiseks

Lühendatud kirje lehekülg
dc.contributorTartu Ülikool. Matemaatika-informaatikateaduskondet
dc.contributorTartu Ülikool. Tarkvarasüsteemide õppetoolet
dc.contributor.advisorPrank, Rein, juhendajaet
dc.contributor.authorGolovko, Antonet
dc.date.accessioned2007-01-09T06:47:55Z
dc.date.available2007-01-09T06:47:55Z
dc.date.issued2004et
dc.identifier.otherTartu Ester bibnumber: b16675848et
dc.identifier.urihttp://hdl.handle.net/10062/965
dc.languageeesti keeleset
dc.language.isoestet
dc.subject.othertarkvaraarenduset
dc.subject.otherõpitarkvaraet
dc.subject.othermatemaatiline loogikaet
dc.subject.othermagistritöödet
dc.titleÕpiprogramm Bethi tabelite konstrueerimisekset
dc.title.alternativeLearning program for Beth's tableaux constructionet
dc.typeThesiset

Failid

Originaal pakett

Nüüd näidatakse 1 - 1 1
Pisipilt
Nimi:
GolovkoA.pdf
Suurus:
321.26 KB
Formaat:
Adobe Portable Document Format
Lae alla

Litsentsi pakett

Nüüd näidatakse 1 - 1 1
Pisipilt ei ole saadaval
Nimi:
license.txt
Suurus:
341 B
Formaat:
Plain Text
Kirjeldus:
Lae alla

Kollektsioonid

1. TÜ väitekirjad alates 2004. Kaitstud doktoritööd, teadusmagistritööd. Doctoral theses, PhD, MSc, MPhil.