Automaatne teoreemitõestamine I: erinevus redaktsioonide vahel
Mine navigeerimisribale
Mine otsikasti
Resümee puudub |
Resümee puudub |
||
| 2. rida: | 2. rida: | ||
Siin lehel on esialgsed materjalid. Täpsemat infot konsultatsioonis. | Siin lehel on esialgsed materjalid. Täpsemat infot konsultatsioonis. | ||
* [[Media:http://www.ttu.ee/it/gandalf/OtterBook.pdf|OtterBook]] | |||
Redaktsioon: 17. september 2008, kell 21:12
Kursus on iseõppe kursus, kuid toimub konsultatsioon kord nädalas: neljapäeviti kell 10 AK (IT) majas, kas ruumis 140 või 137 või - vastava teate korral - mujal samas majas.
Siin lehel on esialgsed materjalid. Täpsemat infot konsultatsioonis.