DUŽÍ, Marie a Pavel MATERNA. TIL jako procedurální logika : průvodce zvídavého čtenáře Transparentní intensionální logikou. 1. vyd. Bratislava: Aleph, 2012, 412 s. ISBN 9788089491087.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název TIL jako procedurální logika : průvodce zvídavého čtenáře Transparentní intensionální logikou
Autoři DUŽÍ, Marie a Pavel MATERNA.
Vydání 1. vyd. Bratislava, 412 s. 2012.
Nakladatel Aleph
Další údaje
ISBN 9788089491087
Změnil Záznam byl importován z knihovního systému. Změněno: 8. 8. 2022 14:27.
VytisknoutZobrazeno: 30. 4. 2024 23:12