Handbook of logic in computer science. Edited by Samson Abramsky - Dov M. Gabbay - Thomas S. E. Maibaum. Oxford: The Clarendon Press, 1992, 571 s. ISBN 0198537611. |
Další formáty:
BibTeX
LaTeX
RIS
|
Základní údaje | |
---|---|
Originální název | Handbook of logic in computer science. |
Autoři | Edited by Samson Abramsky - Dov M. Gabbay - Thomas S. E. Maibaum. |
Vydání | Oxford, 571 s. 1992. |
Nakladatel | The Clarendon Press |
Další údaje | |
---|---|
ISBN | 0198537611 |
Změnil | Záznam byl importován z knihovního systému. Změněno: 8. 8. 2022 13:07. |
VytisknoutZobrazeno: 11. 10. 2024 14:56