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 | ||
| ||
Formal to Practical Security [Risorsa elettronica] : Papers Issued from the 2005-2008 French-Japanese Collaboration / 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, Véronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada
| Formal to Practical Security [Risorsa elettronica] : Papers Issued from the 2005-2008 French-Japanese Collaboration / 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, Véronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2009 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783642020025 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009260450403321 |
| Berlin ; Heidelberg : Springer, 2009 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Rewriting techniques and applications : 5. international conference, RTA-93 : Montreal, Canada, June 16-18, 1993 : proceedings / Claude Kirchner (ed.)
| Rewriting techniques and applications : 5. international conference, RTA-93 : Montreal, Canada, June 16-18, 1993 : proceedings / Claude Kirchner (ed.) |
| Autore | International conference RTA '93 : <5. |
| Pubbl/distr/stampa | Berlin [etc.], : Springer, c1993 |
| Descrizione fisica | XI, 487 p. ; 25 cm |
| Disciplina |
005.13
005.131 |
| Collana | Lecture notes in computer science |
| ISBN |
0387568689
3540568689 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-AQ10003129 |
|
International conference RTA '93 : <5.
|
||
| Berlin [etc.], : Springer, c1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Rewriting techniques and applications : 5th International conference, RTA-93 : Montreal, Canada, June 16-18, 1993 : proceedings / Claude Kirchner (ed.)
| Rewriting techniques and applications : 5th International conference, RTA-93 : Montreal, Canada, June 16-18, 1993 : proceedings / Claude Kirchner (ed.) |
| Autore | International conference RTA-93 : 5. : 1993 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1993 |
| Descrizione fisica | XI, 487 p. : ill. ; 23 cm |
| Disciplina | 0051 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - montreal - 1993
elaboratori elettronici - programmazione - congressi - 1993 |
| ISBN | 3-540-56868-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000202720203316 |
|
International conference RTA-93 : 5. : 1993
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Rewriting, Computation and Proof [Risorsa elettronica] : Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday / edited by Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner
| Rewriting, Computation and Proof [Risorsa elettronica] : Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday / edited by Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2007 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540731474 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009238410403321 |
| Berlin ; Heidelberg : Springer, 2007 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||