Deprecated: Function set_magic_quotes_runtime() is deprecated in /DISK2/WWW/lokiware.info/mff/wakka.php on line 35 Matfiz : Automatické Dokazovaní Vět

Toto je stará verze stránky AutomatickéDokazovaníVět z 2009-10-01 19:48:00..

Automatické dokazování vět

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

Povinně volitelná přednáška pro I1. Umluveno na pondělí 15:40 v KA10A (lab v Karlíně) (zatím není v SISu).

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

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