Predikaatarvutuse väljendusülesannete lahendamise veebikeskkond

Thumbnail Image

Files

Loog_valjendusylesannete_lahendamine.pdf (391.77 KB)

Date

2011

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Tartu Ülikool

Abstract

Description

Keywords

Citation

URI

http://hdl.handle.net/10062/70788

Collections

LTAT bakalaureusetööd – Bachelor's theses