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
Description
Description not available.