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.
Algebraic and logic programming : third internatioanl conference, Volterra, Italy, September 2-4, 1992 : proceedings / H. Kirchner ... [et al.] (eds.)
| Algebraic and logic programming : third internatioanl conference, Volterra, Italy, September 2-4, 1992 : proceedings / H. Kirchner ... [et al.] (eds.) |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, 1992 |
| Descrizione fisica | IX, 457 p. : ill. ; 25 cm |
| Disciplina | 0051 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - volterra - 1992
elaboratori elettronici - programmazione - congressi - 1992 logica matematica - congressi - 1992 |
| ISBN | 3-540-55873-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000204940203316 |
| Berlin [etc.] : Springer-Verlag, 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Automated deduction : CADE-11 : 11th International conference on automated deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings / D. Kapur (ed.)
| Automated deduction : CADE-11 : 11th International conference on automated deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings / D. Kapur (ed.) |
| Autore | International conference on automated deduction : 11. : 1992 |
| Pubbl/distr/stampa | Berlin [etc.], : Springer-Verlag, copyr. 1992 |
| Descrizione fisica | XV, 793 p. : ill. ; 25 cm |
| Disciplina | 005131 |
| Collana | Lecture notes in artificial intelligence |
| Soggetto non controllato |
congressi - saratoga springs - 1992
intelligenza artificiale - congressi - 1992 logica matematica - congressi - 1992 |
| ISBN | 3-540-55602-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000202070203316 |
International conference on automated deduction : 11. : 1992
|
||
| Berlin [etc.], : Springer-Verlag, copyr. 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer science logic : 6th workshop, CSL'92 : San Miniato, Italy . September 28-October 2, 1992 : selected papers / E. Börger ... [et al.]
| Computer science logic : 6th workshop, CSL'92 : San Miniato, Italy . September 28-October 2, 1992 : selected papers / E. Börger ... [et al.] |
| Autore | Workshop CSL'92 : 6. : 1992 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1993 |
| Descrizione fisica | VIII, 439 p. : ill. ; 24 cm |
| Disciplina | 0051 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - san miniato - 1992
elaboratori elettronici - programmazione - congressi - 1992 logica matematica - congressi - 1992 |
| ISBN | 3-540-56992-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000204920203316 |
|
Workshop CSL'92 : 6. : 1992
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Extensions of logic programming : third International workshop, ELP'92 : Bologna, Italy, February 26-28, 19992 : proceedings / E. Lamma (ed.)
| Extensions of logic programming : third International workshop, ELP'92 : Bologna, Italy, February 26-28, 19992 : proceedings / E. Lamma (ed.) |
| Autore | International workshop ELP'92 : 3. : 1992 |
| Pubbl/distr/stampa | Berlin [etc.], : Springer-Verlag, copyr. 1993 |
| Descrizione fisica | VIII, 417 p. : ill. ; 24 cm |
| Disciplina | 0051 |
| Collana | Lecture notes in artificial intelligence |
| Soggetto non controllato |
congressi - bologna - 1992
elaboratori elettronici - programmazione - congressi - 1992 logica matematica - congressi - 1992 |
| ISBN | 3-540-56454-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000201890203316 |
|
International workshop ELP'92 : 3. : 1992
|
||
| Berlin [etc.], : Springer-Verlag, copyr. 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic programming and automated reasoning : International conference LPAR'92, St. Petersburg, Russia, July 15-20,1992 : proceedings / A. Voronkov (ed.)
| Logic programming and automated reasoning : International conference LPAR'92, St. Petersburg, Russia, July 15-20,1992 : proceedings / A. Voronkov (ed.) |
| Autore | International conference LPAR'92 : 1992 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1992 |
| Descrizione fisica | XIV, 509 p. : ill. ; 25 cm |
| Disciplina | 005131 |
| Collana | Lecture notes in artificial intelligence |
| Soggetto non controllato |
congressi - leningrado - 1992
elaboratori elettronici - programmazione - congressi - 1992 intelligenza artificiale - congressi - 1992 logica matematica - congressi - 1992 |
| ISBN | 3-540-55727-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000200970203316 |
|
International conference LPAR'92 : 1992
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic programming in action : second International logic programming summer school, LPSS'92 : Zurich, Switzerland, September 7-11, 1992 : proceedings / G. Comyn ... [et al] (eds.)
| Logic programming in action : second International logic programming summer school, LPSS'92 : Zurich, Switzerland, September 7-11, 1992 : proceedings / G. Comyn ... [et al] (eds.) |
| Autore | International logic programming summer school LPSS'92 : 2. : 1992 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1992 |
| Descrizione fisica | X, 324 p. : ill. ; 25 cm |
| Disciplina | 0051 |
| Collana | Lecture notes in artificial intelligence |
| Soggetto non controllato |
congressi - zurigo - 1992
elaboratori elettronici - programmazione - congressi - 1992 logica matematica - congressi - 1992 |
| ISBN | 3-540-55930-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000202500203316 |
|
International logic programming summer school LPSS'92 : 2. : 1992
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logical foundations of computer science : Tver'92 : Tver, Russia, July 20-24, 1992 : proceedings / A. Nerode (ed.)
| Logical foundations of computer science : Tver'92 : Tver, Russia, July 20-24, 1992 : proceedings / A. Nerode (ed.) |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1992 |
| Descrizione fisica | IX, 514 p. : ill. ; 25 cm |
| Disciplina | 005131 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - tver - 1992
linguaggi di programmazione - congressi - 1990 logica matematica - congressi - 1992 |
| ISBN | 3-540-55707-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000202740203316 |
| Berlin [etc.] : Springer-Verlag, copyr. 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Meta-programming in logic : third International META-92 : Uppsala, Sweden, June 1992 : proccedings / A. Pettorossi (ed.)
| Meta-programming in logic : third International META-92 : Uppsala, Sweden, June 1992 : proccedings / A. Pettorossi (ed.) |
| Autore | International workshop META-92 : 3. : 1992 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1992 |
| Descrizione fisica | XII, 351 p. : ill. ; 24 cm |
| Disciplina | 0051 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - uppsala - 1992
elaboratori elettronici - programmazione - congressi - 1992 logica matematica - congressi - 1992 |
| ISBN | 3-540-56282-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000204010203316 |
|
International workshop META-92 : 3. : 1992
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Semantics : foundations and applications / J. W. de Bakker, W. P. de Roever, G. Rozenberg (eds.)
| Semantics : foundations and applications / J. W. de Bakker, W. P. de Roever, G. Rozenberg (eds.) |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1993 |
| Descrizione fisica | VIII, 659 p. : ill. ; 24 cm |
| Disciplina | 005131 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - beekbergen - 1992
elaboratori elettronici - programmazione - congressi - 1992 logica matematica - congressi - 1992 |
| ISBN | 3-540-56596-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000203280203316 |
| Berlin [etc.] : Springer-Verlag, copyr. 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||