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.
Artificial Intelligence and Symbolic Computation [Risorsa elettronica] : 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings / edited by Jacques Calmet, Tetsuo Ida, Dongming Wang
| Artificial Intelligence and Symbolic Computation [Risorsa elettronica] : 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings / edited by Jacques Calmet, Tetsuo Ida, Dongming Wang |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2006 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540397304 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009236920403321 |
| Berlin ; Heidelberg : Springer, 2006 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Artificial intelligence and symbolic mathematical computing : international conference AISM,1. Karlsruhe, Germany, August 3-6,1992 proceedings / a cura di J. Calmet, J. A.Campbel
| Artificial intelligence and symbolic mathematical computing : international conference AISM,1. Karlsruhe, Germany, August 3-6,1992 proceedings / a cura di J. Calmet, J. A.Campbel |
| Autore | Artificial intelligence and symbolic mathematical computing : <1. : 1992 |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1993 |
| Descrizione fisica | 305 p. ; 24 cm |
| Disciplina | 519.7 |
| Collana | Lecture notes in computer science |
| ISBN | 3-540-57322-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000858770403321 |
Artificial intelligence and symbolic mathematical computing : <1. : 1992
|
||
| Berlin : Springer-Verlag, 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1 : Karlsruhe, Germany, August 3-6, 1992 : proceedings / Jacques Calmet, John A. Campbell (eds.)
| Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1 : Karlsruhe, Germany, August 3-6, 1992 : proceedings / Jacques Calmet, John A. Campbell (eds.) |
| Autore | International Conference Artificial Intelligence and Simbolic Mathematical Computation : <1. : ; 1992 |
| Pubbl/distr/stampa | Berlin [etc.], : Springer-Verlag, c1993 |
| Descrizione fisica | 305 p. ; 24 cm. |
| Disciplina | 006.3 |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Intelligenza artificiale - Congressi - 1992
Logica simbolica - Congressi - 1992 Logica matematica - Congressi - 1992 |
| ISBN |
0387573224
3540573224 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-AQ10003614 |
|
International Conference Artificial Intelligence and Simbolic Mathematical Computation : <1. : ; 1992
|
||
| Berlin [etc.], : Springer-Verlag, c1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Computer algebra : EUROCAM'82, European Computer Algebra Conference, Marseille, France, 5-7 April 1982 / edited by Jacques Calmet
| Computer algebra : EUROCAM'82, European Computer Algebra Conference, Marseille, France, 5-7 April 1982 / edited by Jacques Calmet |
| Autore | European computer algebra conference <1982 ; Marseille> |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1982 |
| Descrizione fisica | xiv, 301 p. : ill. ; 25 cm. |
| Disciplina | 512.002854 |
| Altri autori (Persone) | Calmet, Jacques |
| Soggetto topico | Algebra-data processing - Congresses |
| ISBN | 3540116079 |
| Classificazione |
AMS 68-06
CR I.1 CR J.2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000776299707536 |
|
European computer algebra conference <1982 ; Marseille>
|
||
| Berlin : Springer-Verlag, 1982 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Mathematical Methods in Computer Science [Risorsa elettronica] : Essays in Memory of Thomas Beth / 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, Jacques Calmet, Willi Geiselmann, Jörn Müller-Quade
| Mathematical Methods in Computer Science [Risorsa elettronica] : Essays in Memory of Thomas Beth / 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, Jacques Calmet, Willi Geiselmann, Jörn Müller-Quade |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2008 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540899945 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009258740403321 |
| Berlin ; Heidelberg : Springer, 2008 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||