root.skip-to-content
Andmebaasi logo
Valdkonnad ja kollektsioonid
Kogu ADA
Statistika
Eesti
English
Deutsch
Logi sisse
Logi sisse
Esileht
Loodus- ja täppisteaduste valdkond
Arvutiteaduse instituut
MTAT bakalaureusetööd – Bachelor's theses
Predikaatarvutuse väljendusülesannete lahendamise veebikeskkond
Predikaatarvutuse väljendusülesannete lahendamise veebikeskkond
Failid
Loog_valjendusylesannete_lahendamine.pdf
(391.77 KB)
Kuupäev
2011
Autorid
Loog, Siim
Ajakirja pealkiri
Ajakirja ISSN
Köite pealkiri
Kirjastaja
Tartu Ülikool
Abstrakt
Kirjeldus
Märksõnad
Viide
URI
http://hdl.handle.net/10062/70788
Kollektsioonid
MTAT bakalaureusetööd – Bachelor's theses
Kirje täielik lehekülg