Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Logic for application / Ani Nerode, Richard A. Shore
| Logic for application / Ani Nerode, Richard A. Shore |
| Autore | NERODE, Anil |
| Edizione | [2. ed.] |
| Pubbl/distr/stampa | New York [etc.] : Springer, copyr. 1997 |
| Descrizione fisica | XIII,456 p. ; 24 cm |
| Disciplina | 005.101 511 3 NER |
| Altri autori (Persone) | SHORE, Richard A. |
| Collana | Graduate texts in computer science |
| Soggetto topico |
Matematica applica agli elaboratori
Logica simbolica Logica matematica |
| ISBN | 0-387-94893-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990001187650203316 |
NERODE, Anil
|
||
| New York [etc.] : Springer, copyr. 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic for applications / Anil Nerode, Richard A. Shore
| Logic for applications / Anil Nerode, Richard A. Shore |
| Autore | NERODE, Anil |
| Edizione | [2nd ed.] |
| Pubbl/distr/stampa | New York : Springer Verlag, c1997 |
| Descrizione fisica | XIII, 456 p. : ill. ; 25 cm |
| Altri autori (Persone) | SHORE, Richard A. |
| Collana | Graduate texts in computer science |
| Soggetto topico |
Elaboratori elettronici - Matematica
Logica matematica |
| ISBN | 0-387-94893-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000306080203316 |
|
NERODE, Anil
|
||
| New York : Springer Verlag, c1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic for applications / Anil Nerode, Richard A. Shore
| Logic for applications / Anil Nerode, Richard A. Shore |
| Autore | NERODE, Anil |
| Pubbl/distr/stampa | New York [etc.] : Springer-Verlag, copyr. 1993 |
| Descrizione fisica | XVII, 365 p. : ill. ; 24 cm |
| Disciplina | 005.1 |
| Altri autori (Persone) | SHORE, Richard A. |
| Collana | Text and monographs in computer science |
| Soggetto topico |
Elaboratori elettronici - Programmazione
Logica matematica |
| ISBN | 3-540-94129-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000237300203316 |
|
NERODE, Anil
|
||
| New York [etc.] : Springer-Verlag, copyr. 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||