Systémy automatického dokazování

Systems for automated theorem proving
Systémy automatického dokazování

Zobrazit/otevřít

Text práce (284.6Kb)

Posudek vedoucího (220.6Kb)

Posudek oponenta (168.8Kb)

Záznam o průběhu obhajoby (143.5Kb)

Trvalý odkaz

http://hdl.handle.net/20.500.11956/26844

Identifikátory

SIS: 50054

Katalog UK: 990012023020106986

Kolekce

• Kvalifikační práce [11978]

Autor

Repický, Jakub

Vedoucí práce

Stanovský, David

Oponent práce

Šišma, Vladimír

Fakulta / součást

Matematicko-fyzikální fakulta

Obor

Obecná informatika

Katedra / ústav / klinika

Katedra algebry

Datum obhajoby

22. 6. 2009

Nakladatel

Univerzita Karlova, Matematicko-fyzikální fakulta

Jazyk

Slovenština

Známka

Výborně

Citace dokumentu