Deprecated: Function set_magic_quotes_runtime() is deprecated in /DISK2/WWW/lokiware.info/mff/wakka.php on line 35 Matfiz : Automatické Dokazovaní Vět
Přihlášení:  Heslo:  
Matfiz: AutomatickéDokazovaníVět ...
Hlavní Stránka | Seznam Stránek | Poslední Změny | Poslední Komentované | Uživatelé | Registrace |
Toto je stará verze stránky AutomatickéDokazovaníVět z 2009-10-01 15:35:27..

Automatické dokazování vět


Přednášející: David Stanovský (k předmětu)


Povinně volitelná přednáška pro I1. Bude se konat v Karlíně, předmět jakoby vypisuje KTIML, ale úmluva je mailem s vyučujícím a ve čtvrtek 1. října na katedře algebry. (Až bude čas stanovený, doplním, měl by ale být v SISu.)


 
Na stránce nejsou žádné soubory. [Zobrazit soubory (formulář)]
Na stránce nejsou žádné komentáře. [Zobrazit komentáře (formulář)]