top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Term rewriting systems : Terese / edited by Marc Bezem, Jan Willem Klop, Roel de Vrijer
Term rewriting systems : Terese / edited by Marc Bezem, Jan Willem Klop, Roel de Vrijer
Pubbl/distr/stampa Cambridge, : Cambridge University, 2003
Descrizione fisica XXII, 884 p. : ill. ; 23 cm.
Soggetto topico 68-XX - Computer science [MSC 2020]
68Q42 - Grammars and rewriting systems [MSC 2020]
ISBN 978-05-213-9115-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0050057
Cambridge, : Cambridge University, 2003
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Term rewriting systems : Terese / edited by Marc Bezem, Jan Willem Klop, Roel de Vrijer
Term rewriting systems : Terese / edited by Marc Bezem, Jan Willem Klop, Roel de Vrijer
Pubbl/distr/stampa Cambridge, : Cambridge University, 2003
Descrizione fisica XXII, 884 p. : ill. ; 23 cm
Soggetto topico 68-XX - Computer science [MSC 2020]
68Q42 - Grammars and rewriting systems [MSC 2020]
ISBN 978-05-213-9115-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0050057
Cambridge, : Cambridge University, 2003
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Typed lambda calculi and applications : International conference on typed lamda calculi and applications : March 16-18, 1993, Utrecht, The Netherlands : proceedings / M. Bezem (ed.)
Typed lambda calculi and applications : International conference on typed lamda calculi and applications : March 16-18, 1993, Utrecht, The Netherlands : proceedings / M. Bezem (ed.)
Autore International conference on typed lambda calculi and applications : 1993
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 1993
Descrizione fisica VIII, 432 p. : ill. ; 24 cm
Disciplina 004
Collana Lecture notes in computer science
Soggetto non controllato algoritmi - congressi - 1993
congressi - ultrecht - 1993
elaborazione elettronica - modelli matematici - congressi - 1993
ISBN 3-540-56517-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000204640203316
International conference on typed lambda calculi and applications : 1993  
Berlin [etc.] : Springer-Verlag, copyr. 1993
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui