| 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. |