-

-
Functional Interpretation Of Logical Deduction, The
Advances In Logic
-
De Oliveira, Anjolina G
Gabbay, Dov M
De Queiroz, Ruy J G B
-
出版社:World Scientific Publishing Co Pte Ltd
出版年月:2011年 11月
装丁:HRD
言語:ENG
-
税込価格:
28,930円
海外在庫あり
通常2~5週間で出荷
-

-
Logic, Language, Information, and Computation
2nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
Lecture Notes in Computer Science .9160
-
Herausgegeben von de Paiva, Valeria
de Queiroz, Ruy
Moss, Lawrence S.
-
出版社:Springer, Berlin; Springer Berlin Heidelberg; Springe
出版年月:2015年 07月
装丁:PAP
版次:2015. 2015. xx
-
税込価格:
9,431円
海外在庫あり
通常2~5週間で出荷
-

-
Uma Versao Mais Curta De Teoria Dos Modelos
-
Hodges, Wilfrid
de Queiroz, Ruy J. G. B (TRN)
-
出版社:College Publications
出版年月:2012年 12月
装丁:PAP
言語:POR
-
税込価格:
6,059円
海外在庫あり
通常2~4週間で出荷
-

-
Logic, Language, Information and Computation
17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings
Lecture Notes in Computer Science
-
Dawar, Anuj (EDT)
De Queiroz, Ruy (EDT)
-
出版社:Springer-Verlag New York Inc
出版年月:2010年 07月
装丁:PAP
言語:ENG
-
税込価格:
11,787円
海外在庫あり
通常2~5週間で出荷
-

-
Logic, Language, Information, and Computation
19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012, Proceedings
Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7456
-
Ed. by de Queiroz, Ruy
Ong, Luke
-
出版社:Springer, Berlin
出版年月:2012年 00月
装丁:PAP
版次:2nd ed. 2012. XII
-
税込価格:
11,787円
海外在庫あり
通常2~5週間で出荷
-

-
Logic, Language, Information, and Computation
23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings
Lecture Notes in Computer Science .9803
-
Herausgegeben von Vaeaenaenen, Jouko
Hirvonen, Å
sa
-
出版社:Springer, Berlin; Springer Berlin Heidelberg; Springe
出版年月:2016年 08月
装丁:PAP
版次:1st ed. 2016. 2016. xxii
-
税込価格:
11,787円
海外在庫あり
通常2~5週間で出荷
-

-
Logic, Language, Information, and Computation
21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings
Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .8652
-
Herausgegeben von Kohlenbach, Ulrich
Barceló
, Pablo
-
出版社:Springer, Berlin; Springer Berlin Heidelberg; Springe
出版年月:2014年 07月
装丁:PAP
版次:2014. 2014. xx
-
税込価格:
11,317円
海外在庫あり
通常2~5週間で出荷
-

-
Logic, Language, Information, and Computation
30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10-13, 2024, Proceedings
Lecture Notes in Computer Science 14672
-
Herausgegeben:Metcalfe, George
Studer, Thomas
De Queiroz, Ruy
-
出版社:Springer, Berlin; Springer Nature Switzerland; Spring
出版年月:2024年 00月
装丁:PAP
言語:ENG
版次:2024. xxiv
-
税込価格:
15,324円
海外在庫あり
通常2~5週間で出荷
-

-
Logic, Language, Information, and Computation
24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings
Lecture Notes in Computer Science .10388
-
Herausgegeben von Kennedy, Juliette
de Queiroz, Ruy J.G.B.
-
出版社:Springer, Berlin; Springer Berlin Heidelberg; Springe
出版年月:2017年 00月
装丁:PAP
言語:ENG
版次:1st ed. 2017. 2017. x
-
税込価格:
11,787円
海外在庫あり
通常2~5週間で出荷
-

-
Logic, Language, Information, and Computation
27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings
Lecture Notes in Computer Science 13038
-
Herausgegeben:Silva, Alexandra
Wassermann, Renata
De Queiroz, Ruy
-
出版社:Springer, Berlin; Springer International Publishing;
出版年月:2021年 00月
装丁:PAP
言語:ENG
版次:1st ed. 2021. 2021. viii
-
税込価格:
17,447円
海外在庫あり
通常2~5週間で出荷
-

-
Logic, Language, Information, and Computation
25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings
Lecture Notes in Computer Science 10944
-
Herausgegeben von Moss, Lawrence S.
De Queiroz, Ruy
Martinez, Maricarmen
-
出版社:Springer, Berlin; Springer Berlin Heidelberg; Springe
出版年月:2018年 00月
装丁:PAP
版次:1st ed. 2018. 2018. xviii
-
税込価格:
15,560円
海外在庫あり
通常2~5週間で出荷
-

-
Logic, Language, Information, and Computation
28th International Workshop, WoLLIC 2022, Ia i, Romania, September 20-23, 2022, Proceedings
Lecture Notes in Computer Science 13468
-
Herausgegeben:Ciabattoni, Agata
Pimentel, Elaine
de Queiroz, Ruy J. G. B.
-
出版社:Springer, Berlin; Springer International Publishing;
出版年月:2022年 00月
装丁:PAP
言語:ENG
版次:1st ed. 2022. 2022. xxix
-
税込価格:
11,787円
海外在庫あり
通常2~5週間で出荷
-

-
Logic, Language, Information, and Computation
26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings
Lecture Notes in Computer Science .11541
-
Herausgegeben von Iemhoff, Rosalie
Moortgat, Michael
De Queiroz, Ruy
-
出版社:Springer, Berlin; Springer Berlin Heidelberg; Springe
出版年月:2019年 00月
装丁:PAP
版次:1st ed. 2019. 2019. xxi
-
税込価格:
11,787円
海外在庫あり
通常2~5週間で出荷
-

-
Logic, Language, Information, and Computation
29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings
Lecture Notes in Computer Science 13923
-
Herausgegeben:Hansen, Helle Hvid
Scedrov, Andre
de Queiroz, Ruy J.G.B.
-
出版社:Springer, Berlin; Springer Nature Switzerland; Spring
出版年月:2023年 00月
装丁:PAP
版次:1st ed. 2023. 2023. xxxviii
-
税込価格:
17,683円
海外在庫あり
通常2~5週間で出荷