NERODE, Anil and Richard A. SHORE. Logic for applications. New York: Springer-Verlag, 1993, xvii, 365. ISBN 0387941290. |
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: 5/10/2024 20:05