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.
Rewriting techniques and applications : 4th Internatioaal conference, RTA-91 : Como, Italy, April 10-12, 1991: proceedings / Ronald V. Book (ed.)
Rewriting techniques and applications : 4th Internatioaal conference, RTA-91 : Como, Italy, April 10-12, 1991: proceedings / Ronald V. Book (ed.)
Autore International conference RTA'91 : 4., : 1991
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 1991
Descrizione fisica VII, 458 p. : ill. ; 25 cm
Disciplina 0051
Collana Lecture notes in computer science
Soggetto non controllato congressi - como - 1991
elaboratori elettronici - programmazione - congressi - 1991
ISBN 3-540-53904-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000203260203316
International conference RTA'91 : 4., : 1991  
Berlin [etc.] : Springer-Verlag, copyr. 1991
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
String-rewriting systems / Ronald V. Book, Friedrich Otto
String-rewriting systems / Ronald V. Book, Friedrich Otto
Autore Book, Ronald V.
Pubbl/distr/stampa New York [etc.], : Springer, c1993
Descrizione fisica VIII, 189 p. ; 25 cm
Disciplina 005.13
005.131
Altri autori (Persone) Otto, Friedrich
Collana Texts and monographs in computer science
Soggetto topico Logica matematica
Logica simbolica
Elaboratori elettronici - Programmazione
ISBN 0387979654
3540979654
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISANNIO-AQ10000363
Book, Ronald V.  
New York [etc.], : Springer, c1993
Materiale a stampa
Lo trovi qui: Univ. del Sannio
Opac: Controlla la disponibilità qui