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.
Logics in Artificial Intelligence [Risorsa elettronica] : 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings / edited by Jaime G. Carbonell, Jörg Siekmann, Steffen Hölldobler, Carsten Lutz, Heinrich Wansing
| Logics in Artificial Intelligence [Risorsa elettronica] : 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings / edited by Jaime G. Carbonell, Jörg Siekmann, Steffen Hölldobler, Carsten Lutz, Heinrich Wansing |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2008 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540878032 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009257370403321 |
| Berlin ; Heidelberg : Springer, 2008 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Recent trends in philosophical logic / Roberto Ciuni, Heinrich Wansing, Caroline Willkommen editors
| Recent trends in philosophical logic / Roberto Ciuni, Heinrich Wansing, Caroline Willkommen editors |
| Pubbl/distr/stampa | Cham, : Springer, 2014 |
| Descrizione fisica | VIII, 209 p. : ill. ; 24 cm |
| Soggetto topico | 03Axx - Philosophical aspects of logic and foundations [MSC 2020] |
| Soggetto non controllato |
Advances in Philosophical Logic
Knowability Paradox Mathematical logic Natural deduction Non-classical logic Paraconsistent Logic Proof systems Trends in Logic |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0103429 |
| Cham, : Springer, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Recent trends in philosophical logic / Roberto Ciuni, Heinrich Wansing, Caroline Willkommen editors
| Recent trends in philosophical logic / Roberto Ciuni, Heinrich Wansing, Caroline Willkommen editors |
| Pubbl/distr/stampa | Cham, : Springer, 2014 |
| Descrizione fisica | VIII, 209 p. : ill. ; 24 cm |
| Soggetto topico | 03Axx - Philosophical aspects of logic and foundations [MSC 2020] |
| Soggetto non controllato |
Advances in Philosophical Logic
Knowability Paradox Mathematical logic Natural deduction Non-classical logic Paraconsistent Logic Proof systems Trends in Logic |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00103429 |
| Cham, : Springer, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Recent trends in philosophical logic / Roberto Ciuni, Heinrich Wansing, Caroline Willkommen editors
| Recent trends in philosophical logic / Roberto Ciuni, Heinrich Wansing, Caroline Willkommen editors |
| Edizione | [Cham : Springer, 2014] |
| Pubbl/distr/stampa | VIII, 209 p., : ill. ; 24 cm |
| Descrizione fisica | Pubblicazione in formato elettronico |
| Soggetto topico | 03Axx - Philosophical aspects of logic and foundations [MSC 2020] |
| ISBN | 8-3-319-06079-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0103429 |
| VIII, 209 p., : ill. ; 24 cm | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
The logic of information structures / Heinrich Wansing
| The logic of information structures / Heinrich Wansing |
| Autore | Wansing, Heinrich |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1993 |
| Descrizione fisica | IX, 163 p. : ill. ; 24 cm |
| Disciplina | 004 |
| Collana | Lecture notes in artificial intelligence |
| Soggetto non controllato |
elaboratori elettronici
intelligenza artificiale logica matematica logica simbolica |
| ISBN | 3-540-56734-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000201840203316 |
Wansing, Heinrich
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
The logic of information structures / Heinrich Wansing
| The logic of information structures / Heinrich Wansing |
| Autore | Wansing, Heinrich |
| Pubbl/distr/stampa | Berlin [etc.], : Springer, c1993 |
| Descrizione fisica | IX, 163 p. ; 25 cm |
| Disciplina | 006.3 |
| Collana | Lecture notes in computer science, . Lecture notes in artificial intelligence |
| Soggetto topico | Intelligenza artificiale |
| ISBN |
0387567348
3540567348 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-AQ10003022 |
|
Wansing, Heinrich
|
||
| Berlin [etc.], : Springer, c1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||