Vai al contenuto principale della pagina

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 Visualizza cluster
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