Transparentní dedukční pravidla pro GUHA procedury

Transparentní dedukční pravidla pro GUHA procedury

Bibliographic Details
Main Author: Chrz, Martin
Other Authors: Rauch, Jan
Format: Dissertation
Language:Czech
Published: 2007
Online Access:http://www.nusl.cz/ntk/nusl-289619

Internet

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

Similar Items