| NERODE, Anil and Richard A. SHORE. Logic for applications. New York: Springer-Verlag. xvii, 365. ISBN 0387941290. 1993. |
|
Other formats:
BibTeX
LaTeX
RIS
|
| Basic information | |
|---|---|
| Original name | Logic for applications |
| Authors | NERODE, Anil and Richard A. SHORE. |
| Edition | New York, xvii, 365, 1993. |
| Publisher | Springer-Verlag |
| Other information | |
|---|---|
| ISBN | 0387941290 |
| Changed by | The record has been imported from the library system. Changed: 22/4/2024 04:45. |
PrintDisplayed: 23/4/2024 11:05