NERODE, Anil a Richard A. SHORE. Logic for applications. New York: Springer-Verlag, 1993, xvii, 365. ISBN 0387941290. |
Další formáty:
BibTeX
LaTeX
RIS
|
Základní údaje | |
---|---|
Originální název | Logic for applications |
Autoři | NERODE, Anil a Richard A. SHORE. |
Vydání | New York, xvii, 365, 1993. |
Nakladatel | Springer-Verlag |
Další údaje | |
---|---|
ISBN | 0387941290 |
Změnil | Záznam byl importován z knihovního systému. Změněno: 22. 4. 2024 04:45. |
VytisknoutZobrazeno: 27. 9. 2024 03:37