Õpiprogramm Bethi tabelite konstrueerimiseks
dc.contributor | Tartu Ülikool. Matemaatika-informaatikateaduskond | et |
dc.contributor | Tartu Ülikool. Tarkvarasüsteemide õppetool | et |
dc.contributor.advisor | Prank, Rein, juhendaja | et |
dc.contributor.author | Golovko, Anton | et |
dc.date.accessioned | 2007-01-09T06:47:55Z | |
dc.date.available | 2007-01-09T06:47:55Z | |
dc.date.issued | 2004 | et |
dc.identifier.other | Tartu Ester bibnumber: b16675848 | et |
dc.identifier.uri | http://hdl.handle.net/10062/965 | |
dc.language | eesti keeles | et |
dc.language.iso | est | et |
dc.subject.other | tarkvaraarendus | et |
dc.subject.other | õpitarkvara | et |
dc.subject.other | matemaatiline loogika | et |
dc.subject.other | magistritööd | et |
dc.title | Õpiprogramm Bethi tabelite konstrueerimiseks | et |
dc.title.alternative | Learning program for Beth's tableaux construction | et |
dc.type | Thesis | et |