Systémy automatického dokazování

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

View/Open

Text práce (284.6Kb)

Posudek vedoucího (220.6Kb)

Posudek oponenta (168.8Kb)

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

Permanent link

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

Identifiers

Study Information System: 50054

Collections

• Kvalifikační práce [11322]

Author

Repický, Jakub

Advisor

Stanovský, David

Referee

Šišma, Vladimír

Faculty / Institute

Faculty of Mathematics and Physics

Discipline

General computer science

Department

Department of Algebra

Date of defense

22. 6. 2009

Publisher

Univerzita Karlova, Matematicko-fyzikální fakulta

Language

Slovak

Grade

Excellent

Citace dokumentu