Hlavní stránka > Výsledky hledání: recid:350826
Hledej:
 
Tipy pro vyhledávaní :: Jednoduché hledání
Hledej ve sbírkách:
Seřadit podle: Zobrazit výsledky: Výstupní formát:
Národní úložiště šedé literatury Nalezeno 1 záznamů.  Hledání trvalo 0.01 vteřin. 

Warning: Requested record does not seem to exist.
Automatická konstrukce modelů
 Miček, Radek ; Stanovský, David (vedoucí práce) ; Surynek, Pavel (oponent)
V této práci implementujeme metodu MACE pro hledání konečných modelů v klasické logice prvního řádu bez sort. Kromě známých modifikací metody MACE jsou popsány a implementovány i úplně nové modifikace, například: odzplošťování, generování redundantních klauzulí a kódování do podmínek řešiče Gecode. Naše implementace je porovnána s programy Mace4, Paradox a iProver. V závěru práce jsou dány náměty na vylepšení a další výzkum. Powered by TCPDF (www.tcpdf.org)
Úplný záznam

Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.
Digitální repozitář :: Hledej :: Nový záznam :: Personalizace :: Nápověda
Powered by Invenio v1.1.2
Spravuje admin.invenio@techlib.cz
Tato stránka je dostupná také v následujících jazycích:
Česky  English