IAQD02-02
== IAQD02/02 - Info- ja kommunikatsioonitehnoloogia [Kava:1341 〔Õppekava ÕIS-is〕] [[IRZ9010]] Adaptiivne . . . [[ITV9150]] Automaatne teoreemitõestamine I [[ITV9160]] Automaatne teoreemitõestamine II [[IAY9110]] . . .
4K - last updated 2015-09-11 01:29:10 by AlexDaniel
ITV9160
#SUBTITLE Automaatne teoreemitõestamine II #SUBURL [Course:32959 〔Õppeaine ÕIS-is〕] #ENG This page is . . .
1K - last updated 2015-09-11 01:34:07 by AlexDaniel
2 pages found.