Predikaatarvutuse väljendusülesannete lahendamise veebikeskkond

Failid

Loog_valjendusylesannete_lahendamine.pdf (391.77 KB)

Kuupäev

2011

Autorid

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