Vai al contenuto principale della pagina

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 Visualizza persona
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.) Visualizza cluster
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  Visualizza cluster
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