TY - BOOK AU - Bezhanishvili,Nick AU - Goranko,Valentin TI - Lectures on Logic and Computation: ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes SN - 9783642314858 PY - 2012/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg KW - Computer science KW - Algorithms KW - Computer logic KW - Mathematical logic KW - Mathematics KW - Artificial intelligence UR - http://dx.doi.org/10.1007/978-3-642-31485-8 ER -