Reeves, S., Clarke, M. Logic for Computer Science. Addison-Wesley Longman Publishing Co. Boston, 1990.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Logic for Computer Science
Autoři Reeves, S., Clarke, M.
Vydání Addison-Wesley Longman Publishing Co. Boston, 1990.
Další údaje
WWW URL
Změnil Změnil: RNDr. Jan Géryk, Ph.D., učo 72902. Změněno: 31. 1. 2019 10:25.
VytisknoutZobrazeno: 30. 4. 2024 15:16