Nick Bezhanishvili, Sebastian Löbner, Kerstin Schwabe, Luca Spada

Logic, Language, and Computation - Germany Springer 2011

978-3-642-22303-7


Computer Science
Logic, Language, and Computation