Logic colloquium '96 : proceedings of the Colloquium held in San Sebastiàn, Spain, july 9-15, 1996 / J.M. Larrazabal, D. Lascar, G. Mints (Eds.)
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Logic colloquium : <1996
|
| Titolo: |
Logic colloquium '96 : proceedings of the Colloquium held in San Sebastiàn, Spain, july 9-15, 1996 / J.M. Larrazabal, D. Lascar, G. Mints (Eds.)
|
| Pubblicazione: | Berlin [etc.] : Springer, c1998 |
| Descrizione fisica: | VI, 261 p. ; 24 cm |
| Disciplina: | 160 |
| Soggetto non controllato: | Logica |
| Ricorsività | |
| Persona (resp. second.): | Larrazabal, Jesús M. |
| Lascar, Daniel | |
| Mints, G. | |
| Titolo autorizzato: | Logic colloquium '96 |
| ISBN: | 3-540-64668-X |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 990001449350403321 |
| Lo trovi qui: | Univ. Federico II |
| Collocazione: | 7-306 |
| Opac: | Controlla la disponibilità qui |