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)
Extension of logic programming : second International workshop, ELP'91 Stockholm, Sweden, January 1991: proceedings / L.-H. Eriksson (ed.)
Extension of logic programming : second International workshop, ELP'91 Stockholm, Sweden, January 1991: proceedings / L.-H. Eriksson (ed.)
Autore International workshop. ELP'91 : 2. : 1991
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 1992
Descrizione fisica 369 p. : ill. ; 25 cm
Disciplina 0051
Collana Lecture notes in artificial intelligence
Soggetto non controllato congressi - stoccolma - 1991
elaboratori elettronici - programmazione - congressi - 1991
logica matematica - congressi - 1991
ISBN 3-540-55498-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000201460203316
International workshop. ELP'91 : 2. : 1991  
Berlin [etc.] : Springer-Verlag, copyr. 1992
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
FME 2002 : formal methods-Getting IT right : International simposium of formal metods europe : Copenhagen, Denmark, July 22-24, 2002 : proceedings / Lars-Henrik Eriksson...<et al.>(eds.)
FME 2002 : formal methods-Getting IT right : International simposium of formal metods europe : Copenhagen, Denmark, July 22-24, 2002 : proceedings / Lars-Henrik Eriksson...<et al.>(eds.)
Autore International symposium of formal methods europe <2002 ; Copenhagen, Denmark>
Pubbl/distr/stampa Berlin : Springer-Verlag, copyr. 2002
Descrizione fisica XI, 623 p. : ill. ; 20 cm.
Collana Lecture notes in computer science
Soggetto non controllato Software - Sviluppo - Congressi - 2002
ISBN 3-540-43928-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990001116950203316
International symposium of formal methods europe <2002 ; Copenhagen, Denmark>  
Berlin : Springer-Verlag, copyr. 2002
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui