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 : 5th International conference, ALP'96 : Aachen, Germany, September 25-27, 1996 : proceedings / Michael Hanus ... [et al.] (eds.)
| Algebraic and logic programming : 5th International conference, ALP'96 : Aachen, Germany, September 25-27, 1996 : proceedings / Michael Hanus ... [et al.] (eds.) |
| Autore | International conference ALP'96 : 5. : 1996 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1996 |
| Descrizione fisica | VIII, 344 p. : ill. ; 23 cm |
| Disciplina | 0051 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - aachen - 1996
elaboratori elettronici - programmazione - congressi - 1996 logica matematica - congressi - 1996 |
| ISBN | 3-540-61735-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000207490203316 |
International conference ALP'96 : 5. : 1996
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Algebraic and logic programming : 6th International joint conferenceALP'97-HOA'97 : Southampton, UK, September 3-5, 1997 : proceedings / Michael Hanus ... [et al.] (eds.)
| Algebraic and logic programming : 6th International joint conferenceALP'97-HOA'97 : Southampton, UK, September 3-5, 1997 : proceedings / Michael Hanus ... [et al.] (eds.) |
| Autore | International joint conference ALP'97 : 6. : 1997 |
| Pubbl/distr/stampa | Berlino : Springer-Verlag, copyr. 1997 |
| Descrizione fisica | X, 286 p. : ill. ; 23 cm |
| Disciplina | 0051 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - southampton - 1997
elaboratori elettronici - programmazione - congressi - 1997 logica matematica - congressi - 1997 |
| ISBN | 3-540-63459-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000205970203316 |
|
International joint conference ALP'97 : 6. : 1997
|
||
| Berlino : Springer-Verlag, copyr. 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Applications of Declarative Programming and Knowledge Management [Risorsa elettronica] : 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Randy Goebel, Jörg Siekmann, Wolfgang Wahlster, Dietmar Seipel, Michael Hanus, Armin Wolf
| Applications of Declarative Programming and Knowledge Management [Risorsa elettronica] : 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Randy Goebel, Jörg Siekmann, Wolfgang Wahlster, Dietmar Seipel, Michael Hanus, Armin Wolf |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2009 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783642006753 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009259630403321 |
| Berlin ; Heidelberg : Springer, 2009 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Applications of Declarative Programming and Knowledge Management [Risorsa elettronica] : 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP
| Applications of Declarative Programming and Knowledge Management [Risorsa elettronica] : 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2005 |
| Collana | Lecture notes in computer science, Lecture notes in artificial intelligence |
| ISBN | 9783540321248 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009251140403321 |
| Berlin ; Heidelberg : Springer, 2005 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic-Based Program Synthesis and Transformation [Risorsa elettronica] : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Michael Hanus
| Logic-Based Program Synthesis and Transformation [Risorsa elettronica] : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Michael Hanus |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2009 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783642005152 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009259460403321 |
| Berlin ; Heidelberg : Springer, 2009 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Practical Aspects of Declarative Languages [Risorsa elettronica] : 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings / edited by Michael Hanus
| Practical Aspects of Declarative Languages [Risorsa elettronica] : 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings / edited by Michael Hanus |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2007 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540696117 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009239810403321 |
| Berlin ; Heidelberg : Springer, 2007 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||