Predikaatarvutuse väljendusülesannete lahendamise veebikeskkond

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

MTAT bakalaureusetööd – Bachelor's theses