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.
Higher-order algebra, logic, and term rewriting : second International workshop, HOA'95 Paderborn, Germany, September 21-22, 1995 : selected papers / Gilles Dowek [et al.] (eds.)
Higher-order algebra, logic, and term rewriting : second International workshop, HOA'95 Paderborn, Germany, September 21-22, 1995 : selected papers / Gilles Dowek [et al.] (eds.)
Autore International workshop HOA'95 : 2. : 1995
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 1996
Descrizione fisica 287 p. : ill. ; 24 cm
Disciplina 0066
Collana Lecture notes in computer science
Soggetto non controllato congressi - paderborn - 1995
elaborazione elettronica - modelli matematici - congressi - 1995
grafica con gli elaboratori - congressi - 1995
ISBN 3-540-61254-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000206330203316
International workshop HOA'95 : 2. : 1995  
Berlin [etc.] : Springer-Verlag, copyr. 1996
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Image analysis applications and computer graphics : 3rd International computer scienceconference ICSC '95 : Hong Kong, December 11-13, 1995 : proceedings / Roland T. Chin ... [et al.] (eds.)
Image analysis applications and computer graphics : 3rd International computer scienceconference ICSC '95 : Hong Kong, December 11-13, 1995 : proceedings / Roland T. Chin ... [et al.] (eds.)
Autore International computer science conference ICSC'95 : 3. : 1995
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 1995
Descrizione fisica XVI, 533 p. : ill. ; 24 cm
Disciplina 0066
Collana Lecture notes in computer science
Soggetto non controllato congressi - hong kong - 1995
elaborazione dell'immagine - congressi - 1995
grafica con gli elaboratori - congressi - 1995
ISBN 3-540-60697-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000211500203316
International computer science conference ICSC'95 : 3. : 1995  
Berlin [etc.] : Springer-Verlag, copyr. 1995
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui