Lectures on Logic and Computation
Subtitle: ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes
By: edited by Nick Bezhanishvili, Valentin Goranko
Contributors: Goranko, Valentin; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 7388
Publisher: Springer Berlin Heidelberg
Published: 2012
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642314858
Subjects: Mathematical Logic and Formal Languages; Computational complexity; Symbolic and mathematical Logic; Discrete Mathematics in Computer Science; Algorithm Analysis and Problem Complexity; Logic design; Logics and Meanings of Programs; Artificial Intelligence (incl. Robotics); Computer software; Mathematical Logic and Foundations; Artificial intelligence; Computer science