お気に入り図書館を設定すると、貸出状況が表示されます エリアを選ぶ 現在地から探す
Logic for concurrency and synchronisation
edited by Ruy J.G.B. de Queiroz
Logic, language, information, and computation : 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017 : proceedings
Juliette Kennedy, Ruy J.G.B. de Queiroz (eds.)
Logic, language, information, and computation : 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018 : proceedings
Lawrence S. Moss, Ruy de Queiroz, Mariacarmen Martinez (eds.)
Model theory
María Manzano ; translated by Ruy J.G.B. de Queiroz
Logic, language, information, and computation : 28th International Workshop, WoLLIC 2022, Iaşi, Romania, September 20-23, 2022 : proceedings
Agata Ciabattoni, Elaine Pimentel, Ruy J.G.B. de Queiroz (eds.)
The functional interpretation of logical deduction
Ruy J.G.B. de Queiroz, Anjolina G. de Oliveira and Dov. M. Gabbay

カーリルについて - 図書館の方へ - ローカル - 図書館 API - バナー・素材

ホーム - 運営会社 - ブログ - Twitter - 図書館の自由 - プライバシーポリシー - お問い合わせ