Logic for applications / Anil Nerode and Richard A. Shore
| Main Author: | Nerode, Anil |
|---|---|
| Format: | Online |
| Published: |
Nova York : Springer,
1997
|
| Online Access: |
https://consultaredebie.decex.eb.mil.br/pergamum/biblioteca/index.php?codAcervo=428885 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| id |
ir-perga-oai-428885 |
|---|---|
| recordtype |
redebie |
| spelling |
ir-perga-oai-4288852019-03-07T15:13:09Z Logic for applications / Anil Nerode and Richard A. Shore Nerode, Anil 005.1 Computer Science-mathematics Logic symbollic and mathematical Nova York : Springer, Shore, Richard A. Autor 1997p.. https://consultaredebie.decex.eb.mil.br/pergamum/biblioteca/index.php?codAcervo=428885 |
| institution |
REDEBIE |
| collection |
REDEBIE |
| format |
Online |
| author |
Nerode, Anil |
| spellingShingle |
Nerode, Anil Logic for applications / Anil Nerode and Richard A. Shore |
| author_sort |
Nerode, Anil |
| title |
Logic for applications / Anil Nerode and Richard A. Shore |
| title_short |
Logic for applications / Anil Nerode and Richard A. Shore |
| title_full |
Logic for applications / Anil Nerode and Richard A. Shore |
| title_fullStr |
Logic for applications / Anil Nerode and Richard A. Shore |
| title_full_unstemmed |
Logic for applications / Anil Nerode and Richard A. Shore |
| title_sort |
logic for applications / anil nerode and richard a. shore |
| publisher |
Nova York : Springer, |
| publishDate |
1997 |
| url |
https://consultaredebie.decex.eb.mil.br/pergamum/biblioteca/index.php?codAcervo=428885 |
| _version_ |
1689972874919542784 |
| score |
13.657419 |