Důkazové metody predikátové logiky 1. řádu
Advisor
Date
2008Type
Bakalářská práce
Location
ÚK/Sklad diplomových prací
Signature
200803307
Metadata
Show full item record
Degree program
Neuvedeno
Degree branch
Informatika a výpočetní technika
Degree grantor
Vysoká škola báňská - Technická univerzita Ostrava. Fakulta elektrotechniky a informatiky
Description
Import 23/10/2008