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.
Automated deduction - CADE-15 : 15th International conference on automated deduction : Lindau, Germany, July 5-10, 1998 : proceedings / Claude Kirchner ... [et al.] (eds.)
| Automated deduction - CADE-15 : 15th International conference on automated deduction : Lindau, Germany, July 5-10, 1998 : proceedings / Claude Kirchner ... [et al.] (eds.) |
| Autore | International conference on automated deduction : 15. : 1998 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1998 |
| Disciplina | 005131 |
| Collana | Lecture notes in artificial intelligence |
| Soggetto non controllato |
congressi - lindau - 1998
intelligenza artificiale - congressi - 1998 logica matematica - congressi - 1998 |
| ISBN | 3-540-64675-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000202370203316 |
International conference on automated deduction : 15. : 1998
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer science logic : International workshop, CSL '98 : annual conference of the EACSL : Brno, Czech Republic, August 24-28, 1998 : proceedings / Georg Gottlob ... [et al.] (eds.)
| Computer science logic : International workshop, CSL '98 : annual conference of the EACSL : Brno, Czech Republic, August 24-28, 1998 : proceedings / Georg Gottlob ... [et al.] (eds.) |
| Autore | International workshop CSl '98 : 12 : 1998 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1999 |
| Descrizione fisica | X, 429 p. : ill. ; 24 cm |
| Disciplina | 005131 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - brno (czech republic) - 1998
elaboratori elettronici - programmazione - congressi - 1998 logica matematica - congressi - 1998 |
| ISBN | 3-540-65922-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000208620203316 |
|
International workshop CSl '98 : 12 : 1998
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Field-programmable logic and applications : from FPGAs to computing paradigm :8th International workshop, FPL'98: Tallinn, Estonia, August 31 - September 3, 1998 : proceedings / Reiner W. Hartenstein ... [et al.](eds.)
| Field-programmable logic and applications : from FPGAs to computing paradigm :8th International workshop, FPL'98: Tallinn, Estonia, August 31 - September 3, 1998 : proceedings / Reiner W. Hartenstein ... [et al.](eds.) |
| Autore | International workshop FPL'98 : 8. : 1998 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1998 |
| Descrizione fisica | XI, 533 p. : ill. ; 24 cm |
| Disciplina | 62139 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - tallinn - 1998
elaboratori elettronici digitali - circuiti - congressi - 1998 logica matematica - congressi - 1998 programmazione logica - congressi - 1998 |
| ISBN | 3-540-64948-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000210190203316 |
|
International workshop FPL'98 : 8. : 1998
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Inductive logic programming : 8th international conference, ILP-98 Madison, Wisconsin, USA, July 22-24, 1998 : proceedings / David Page (ed.)
| Inductive logic programming : 8th international conference, ILP-98 Madison, Wisconsin, USA, July 22-24, 1998 : proceedings / David Page (ed.) |
| Autore | International conference ILP-98 : 8. : 1998 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1998 |
| Descrizione fisica | VIII, 299 p. : ill. ; 24 cm |
| Disciplina | 0051 |
| Collana | Lecture notes in artificial intelligence |
| Soggetto non controllato |
congressi - madison - 1998
elaboratori elettronici - programmazione - congressi - 1998 logica matematica - congressi - 1998 |
| ISBN | 3-540-64738-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000201620203316 |
|
International conference ILP-98 : 8. : 1998
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Theorem proving in higher order logics : 11th International conference, TPHOLs'98 Canberra, Australia September 27 - October 1, 1998 proceedings / Jim Grundy , Malcolm Newey (eds.)
| Theorem proving in higher order logics : 11th International conference, TPHOLs'98 Canberra, Australia September 27 - October 1, 1998 proceedings / Jim Grundy , Malcolm Newey (eds.) |
| Autore | International conference TPHOLs'98 : 11. : 1998 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1998 |
| Descrizione fisica | VIII, 496 p. : ill. ; 20 cm |
| Disciplina | 0040151 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - canberra - 1998
logica matematica - congressi - 1998 logica simbolica - congressi - 1998 matematica applicata agli elaboratori - congressi - 1998 |
| ISBN | 3-540-64987-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000209850203316 |
|
International conference TPHOLs'98 : 11. : 1998
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
theory, tools and applications : 6th international conference on conceptual structures, ICCS'98 Monpelier, France, August 10-12, 1998 : proceedings / Marie-Laure Mugnier ... [et al.] (eds.) (Conceptual structures)
| theory, tools and applications : 6th international conference on conceptual structures, ICCS'98 Monpelier, France, August 10-12, 1998 : proceedings / Marie-Laure Mugnier ... [et al.] (eds.) (Conceptual structures) |
| Autore | International conference on conceptual structures ICCS'98 : 6. : 1998 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1998 |
| Descrizione fisica | XIII, 438 p. : ill. ; 24 cm |
| Disciplina | 5115 |
| Collana | Lecture notes in artificial intelligence |
| Soggetto non controllato |
congressi - montpellier - 1998
grafi - congressi - 1998 logica matematica - congressi - 1998 |
| ISBN | 3-540-64791-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000201630203316 |
|
International conference on conceptual structures ICCS'98 : 6. : 1998
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||