Predikaatarvutuse väljendusülesannete lahendamise veebikeskkond

dc.contributor.advisorPrank, Rein, juhendaja
dc.contributor.authorLoog, Siim
dc.contributor.otherTartu Ülikool. Loodus- ja täppisteaduste valdkondet
dc.contributor.otherTartu Ülikool. Arvutiteaduse instituutet
dc.date.accessioned2020-12-16T10:53:27Z
dc.date.available2020-12-16T10:53:27Z
dc.date.issued2011
dc.description.urihttps://www.ester.ee/record=b5387817*estet
dc.identifier.otherARH Diss. B-19082
dc.identifier.urihttp://hdl.handle.net/10062/70788
dc.language.isoestet
dc.publisherTartu Ülikoolet
dc.rightsrestrictedAccesset
dc.rightsAttribution-NonCommercial-NoDerivatives 4.0 International*
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/*
dc.subject.otherbakalaureusetöödet
dc.subject.otherinformaatikaet
dc.subject.otherinfotehnoloogiaet
dc.subject.otherinformaticset
dc.subject.otherinfotechnologyet
dc.subject.otherpredikaatarvutuset
dc.subject.otherülesandedet
dc.subject.otherõpihaldussüsteemidet
dc.subject.otherveebirakendusedet
dc.titlePredikaatarvutuse väljendusülesannete lahendamise veebikeskkondet
dc.typeThesiset

Failid

Originaal pakett

Nüüd näidatakse 1 - 1 1
Pisipilt ei ole saadaval
Nimi:
Loog_valjendusylesannete_lahendamine.pdf
Suurus:
391.77 KB
Formaat:
Adobe Portable Document Format
Kirjeldus: