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.
Lectures on Logic and Computation [[electronic resource] ] : ESSLLI 2010, Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes / / edited by Nick Bezhanishvili, Valentin Goranko
| Lectures on Logic and Computation [[electronic resource] ] : ESSLLI 2010, Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes / / edited by Nick Bezhanishvili, Valentin Goranko |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (VIII, 265 p. 41 illus.) |
| Disciplina | 005.1015113 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Algorithms Machine theory Mathematical logic Computer science—Mathematics Discrete mathematics Artificial intelligence Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Mathematical Logic and Foundations Discrete Mathematics in Computer Science Artificial Intelligence |
| ISBN | 3-642-31485-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465528803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic, Language, and Computation [[electronic resource] ] : 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers / / edited by Nick Bezhanishvili, Sebastian Löbner, Kerstin Schwabe, Luca Spada
| Logic, Language, and Computation [[electronic resource] ] : 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers / / edited by Nick Bezhanishvili, Sebastian Löbner, Kerstin Schwabe, Luca Spada |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (XIV, 360 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Natural language processing (Computer science) Artificial Intelligence Mathematical Logic and Formal Languages Natural Language Processing (NLP) |
| ISBN | 3-642-22303-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Natural language syntax, semantics, and pragmatics -- Constructive, modal and algebraic logic -- Linguistic typology and semantic universals -- Logics for artificial intelligence -- Information retrieval, query answer systems -- Logic, games, and formal pragmatics -- Language evolution and learnability -- Computational social choice -- Historical linguistics, history of logic. |
| Record Nr. | UNISA-996465771903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||