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: 15. 10. 2024 22:00