Ruy de Queiroz | Booky.fi

Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016.

Väänänen, Jouko; Hirvonen, Åsa; de Queiroz, Ruy
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2016
Pehmeäkantinen kirja

51,10 €

Functional Interpretation Of Logical Deduction, The

De Oliveira, Anjolina G; Gabbay, Dov M; De Queiroz, Ruy J G B
World Scientific Publishing Co Pte Ltd
2011
Kovakantinen kirja

122,00 €

Logic, Language, Information, and Computation - 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015

de Paiva, Valeria; de Queiroz, Ruy; Moss, Lawrence S.; Leivant, Daniel; de Oliveira, Anjolina G.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2015
Pehmeäkantinen kirja

41,20 €

Logic, Language, Information and Computation - 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007,

Leivant, Daniel; de Queiroz, Ruy
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2007
Pehmeäkantinen kirja

51,10 €

Logic, Language, Information and Computation : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008,

Hodges, Wilfrid; de Queiroz, Ruy
Springer
2008
Pehmeäkantinen kirja

71,10 €

Logic, Language, Information and Computation - 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009, Proceed

Ono, Hiroakira; Kanazawa, Makoto; de Queiroz, Ruy
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2009
Pehmeäkantinen kirja

51,10 €

Logic, Language, Information and Computation - 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proce

Dawar, Anuj; de Queiroz, Ruy
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2010
Pehmeäkantinen kirja

51,10 €

Logic, Language, Information, and Computation - 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proc

Beklemishev, Lev D.; de Queiroz, Ruy
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2011
Pehmeäkantinen kirja

51,10 €

Logic, Language, Information, and Computation

Ong, Luke; de Queiroz, Ruy
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2012
Pehmeäkantinen kirja

51,10 €

Logic, Language, Information, and Computation - 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013

Libkin, Leonid; Kohlenbach, Ulrich; de Queiroz, Ruy
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2013
Pehmeäkantinen kirja

47,20 €

Logic, Language, Information, and Computation - 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014

Kohlenbach, Ulrich; Barceló, Pablo; de Queiroz, Ruy J G B
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2014
Pehmeäkantinen kirja

49,20 €

Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedi

Kennedy, Juliette; de Queiroz, Ruy J.G.B.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2017
Pehmeäkantinen kirja

51,10 €

Logic, Language, Information, and Computation - 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Pr

Moss, Lawrence S.; de Queiroz, Ruy; Martinez, Maricarmen
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2018
Pehmeäkantinen kirja

67,10 €

Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 20

Iemhoff, Rosalie; Moortgat, Michael; de Queiroz, Ruy
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2019
Pehmeäkantinen kirja

51,10 €

Logic, Language, Information, and Computation - 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proc

Silva, Alexandra; Wassermann, Renata; de Queiroz, Ruy
Springer Nature Switzerland AG
2021
Pehmeäkantinen kirja

75,10 €

Logic, Language, Information, and Computation : 28th International Workshop, WoLLIC 2022, Iași, Romania, September

Ciabattoni, Agata; Pimentel, Elaine; de Queiroz, Ruy J. G. B.
Springer
2022
Pehmeäkantinen kirja

51,10 €

Logic, Language, Information, and Computation - 20th International Workshop, Wollic 2013, Darmstadt, Germany, August 20-23, 2013

Libkin, Leonid; Kohlenbach, Ulrich; De Queiroz, Ruy
Springer
2013
Pehmeäkantinen kirja

116,70 €

Logic, Language, Information, and Computation : 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July

Hansen, Helle Hvid; Scedrov, Andre; de Queiroz, Ruy J.G.B.
Springer
2023
Pehmeäkantinen kirja

76,00 €

Logic, Language, Information, and Computation : 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10–13,

Metcalfe, George; Studer, Thomas; de Queiroz, Ruy
Springer
2024
Pehmeäkantinen kirja

66,10 €

Logic, Language, Information, and Computation : 31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14–17,

Kozen, Dexter; de Queiroz, Ruy
Springer
2025
Pehmeäkantinen kirja

67,10 €