Lectures on logic and computation : ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected lecture notes / Nick Bezhanishvili, Valentin Goranko (eds.).
(Visualizza formato Marc21)
(visualizza in BIBRAME 2.0)
| Creatore: |
European Summer School in Logic, Language, and Information (22nd : 2010 : Copenhagen, Denmark)
|
| Titolo: |
Lectures on logic and computation : ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected lecture notes / Nick Bezhanishvili, Valentin Goranko (eds.).
|
| Link to work: |
Lectures on logic and computation
|
| Pubblicazione: |
Berlin ; New York : Springer, ©2012
|
| Estensione: | 1 online resource (263 pages) : illustrations. |
| Tipo formato: | computer |
| Tipo contenuto: | text |
| Tipo supporto: | online resource |
| Disciplina: | 005.101/5113 |
| Titolo uniforme di collana: | Lecture notes in computer science ; 7388. 1611-3349 |
| Lecture notes in computer science. Tutorial. | |
| Lecture notes in computer science. Lecture notes in artificial intelligence. FoLLI publications on logic, language and information. | |
| LNCS sublibrary. SL 1, Theoretical computer science and general issues. | |
| Genere/Forma: | Electronic books |
| Conference papers and proceedings | |
| Index term-Uncontrolled: | Computer science |
| Computer software | |
| Logic design | |
| Computational complexity | |
| Artificial intelligence | |
| Logic, Symbolic and mathematical | |
| Logics and Meanings of Programs | |
| Algorithm Analysis and Problem Complexity | |
| Mathematical Logic and Formal Languages | |
| Mathematical Logic and Foundations | |
| Discrete Mathematics in Computer Science | |
| Soggetto non controllato: | Computer science |
| Computer software | |
| Logic design | |
| Computational complexity | |
| Artificial intelligence | |
| Logic, Symbolic and mathematical | |
| Logics and Meanings of Programs | |
| Algorithm Analysis and Problem Complexity | |
| Mathematical Logic and Formal Languages | |
| Mathematical Logic and Foundations | |
| Discrete Mathematics in Computer Science | |
| Termine d'indicizzazione-Occupazione: | Computer science |
| Computer software | |
| Logic design | |
| Computational complexity | |
| Artificial intelligence | |
| Logic, Symbolic and mathematical | |
| Logics and Meanings of Programs | |
| Algorithm Analysis and Problem Complexity | |
| Mathematical Logic and Formal Languages | |
| Mathematical Logic and Foundations | |
| Discrete Mathematics in Computer Science | |
| Classificazione LOC: | QA76.9.L63 E97 2010 |
| Creatori/Collaboratori: | Bezhanishvili, Nick |
| Goranko, Valentin | |
| Accesso convegno: | European Summer School in Logic, Language, and Information (23rd : , 2011 : , Ljubljana, Slovenia) |
| Contenuto supplementare: | Includes bibliographical references and author index. |
| Nota di contenuto: | Proof Complexity of Non-classical Logics / Olaf Beyersdorff and Oliver Kutz -- Ten Problems of Deontic Logic and Normative Reasoning in Computer Science / Jan Broersen and Leendert van der Torre -- A Short Introduction to Implicit Computational Complexity / Ugo Dal Lago -- Strategies in Games: A Logic-Automata Study / Sujata Ghosh and R. Ramanujam -- Introduction to Judgment Aggregation / Davide Grossi and Gabriella Pigozzi -- Specification and Verification of Multi-Agent Systems / Wojciech Jamroga and Wojciech Penczek. |
| Restrizioni accesso: | Access is restricted to users affiliated with licensed institutions. |
| Sommario/riassunto: | Annotation |
| Collana: | Lecture notes in computer science, 1611-3349 ; 7388. Tutorial |
| Tutorial | |
| FoLLI Publications on Logic, Language and Information | |
| LNCS sublibrary. SL 1, Theoretical computer science and general issues | |
| Varianti del titolo: | ESSLLI 2010 |
| ESSLLI 2011 | |
| ISBN: | 9783642314858 |
| 3642314856 | |
| 9783642314841 | |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 004375805 |
| Localizzazioni e accesso elettronico | http://link.springer.com/10.1007/978-3-642-31485-8 |
| Collocazione: | Electronic access |
| Lo trovi qui: | New York University |
Altra ed. diverso supporto:
Printed edition: 9783642314841