Algebraické důkazové systémy

Algebraické důkazové systémy

Bibliographic Details
Main Author:	Krejčová, Ema
Other Authors:	Pudlák, Pavel
Format:	Dissertation
Language:	English
Published:	2009
Online Access:	http://www.nusl.cz/ntk/nusl-276604

Internet

http://www.nusl.cz/ntk/nusl-276604