Rozdíly

Zde můžete vidět rozdíly mezi vybranou verzí a aktuální verzí dané stránky.

--- courses:a4m33au-cv3 [2011/03/13 00:01]
lolak_felak vytvořeno
+++ courses:a4m33au-cv3 [2025/01/03 18:23] (aktuální)
@@ Řádek 89: / Řádek 89: @@
 </code>
+Nacpat to do [[http://www.cs.miami.edu/~tptp/cgi-bin/SystemOnTPTP|solveru]] (pouzit EP) a doufat.
 ~~DISCUSSION~~

courses/a4m33au-cv3.1299970872.txt.gz · Poslední úprava: 2025/01/03 18:14 (upraveno mimo DokuWiki)

Nahoru