The logic of architecture : design, computation, and cognition

computation and....

Logic, language, information and computation : 19th international workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012 : proceedings

New directions in logic, language and computation : ESSLLI 2010 and ESSLLI 2011, student sessions : selected papers

Lectures on logic and computation : ESSLLI 2010, Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011 : selected lecture notes