ID:DA16555376
WoLLIC
同姓同名の著者を検索
Helle Hvid Hansen ... [et al.], editors
Springer c2023 Lecture notes in computer science 13923 . FoLLI publications on logic, language and information
所蔵館1館
Agata Ciabattoni, Elaine Pimentel, Ruy J.G.B. de Queiroz (eds.)
Springer c2022 Lecture notes in computer science 13468 . FoLLI publications on logic, language and information
Alexandra Silvia, Renata Wassermann, Ruy de Queiroz (eds.)
Springer c2021 Lecture notes in computer science 13038 . FoLLI publications on logic, language and information
所蔵館3館
Rosalie Iemhoff, Michael Moortgat, Ruy de Queiroz (eds.)
Springer 2019 Lecture notes in computer science 11541 . FoLLI publications on logic, language and information . LNCS sublibrary ; SL1 . Theoretical computer science and general issues
所蔵館2館
Lawrence S. Moss, Ruy de Queiroz, Mariacarmen Martinez (eds.)
Springer c2018 Lecture notes in computer science 10944 . FoLLI publications on logic, language and information . LNCS sublibrary ; SL1 . Theoretical computer science and general issues
Juliette Kennedy, Ruy J.G.B. de Queiroz (eds.)
Springer 2017 Lecture notes in computer science 10388 . FoLLI publications on logic, language and information . LNCS sublibrary ; SL1 . Theoretical computer science and general issues
Jouko Väänänen, Åsa Hirvonen, Ruy de Queiroz (eds.)
Springer c2016 Lecture notes in computer science 9803 . LNCS sublibrary ; SL1 . Theoretical computer science and general issues
Valeria de Paiva ... [et al.] (eds.)
Springer c2015 Lecture notes in computer science 9160 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues
Ulrich Kohlenbach, Pablo Barceló, Ruy de Queiroz (eds.)
Springer c2014 Lecture notes in computer science 8652 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues
Leonid Libkin, Ulrich Kohlenbach, Ruy de Queiroz (eds.)
Springer c2013 Lecture notes in computer science 8071 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues
Lev D. Beklemishev, Ruy de Queiroz (eds.)
Springer c2011 Lecture notes in computer science 6642 . Lecture notes in artifical intelligence
Wilfrid Hodges, Ruy de Queiroz (eds.)
Springer c2008 Lecture notes in computer science . Lecture notes in artificial intelligence ; 5110