Record Nr.

UNISANNIOAQ10007835

Autore

Workshop on computer science logic : <7. : ; 1993

Titolo

Computer science logic : 7. workshop, CSL '93 : Swansea, United Kingdom, September 13-17, 1993 : selected papers / Egon Borger, Yuri Gurevich, Karl Meinke (eds.)

Pubbl/distr/stampa


Berlin [etc.], : Springer, 1994

ISBN

0387582770

3540582770

Descrizione fisica

VIII, 336 p. ; 24 cm

Collana

Lecture notes in computer science / edited by G. Goos and J. Hartmanis ; 832

Disciplina

004

004.015113

Soggetti

Informatica - Congressi - 1993

Logica matematica - Congressi - 1993

Collocazione

COLL. ING. LNCS

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia