Logic, language, information, and computation : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013 ; proceedings

Bibliographic Details
Other Involved Persons: Libkin, Leonid (Editor) ; Kohlenbach, Ulrich (Editor) ; Queiroz, Ruy de (Editor)
Format: Book
Language:English
Published: Berlin [u.a.] : Springer 2013
ISBN:3642399916
9783642399916
9783642399923
3642399924
Series:Lecture notes in computer science 8071
Physical Description:X, 283 S 15 illus., 15 schw.-w. Ill 235 mm x 155 mm, 456 g
Subjects:
Other Editions:Show all 2 Editions
QR Code: Show QR Code