Ruy de Queiroz – författare
Visar alla böcker från författaren Ruy de Queiroz. Handla med fri frakt och snabb leverans.
29 produkter
Logic, Language, Information, and Computation
27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings
Av Alexandra Silva, Renata Wassermann m. fl.
Häftad, 2021
813 kr
Lägg i varukorg
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 27th Workshop on Logic, Language, Information and Communication, WoLLIC 2021, Virtual Event, in October 2021. The 25 full papers presented included 6 invited …
Logic, Language, Information, and Computation
27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings
Av Ruy de Queiroz, Renata Wassermann m. fl.
E-bok, 2021
1059 kr
Lägg i varukorg
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 27th Workshop on Logic, Language, Information and Communication, WoLLIC 2021, Virtual Event, in October 2021. The 25 full papers presented included 6 invited …
Logic, Language, Information, and Computation
30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10–13, 2024, Proceedings
Av George Metcalfe, Thomas Studer m. fl.
Häftad, 2024
736 kr
Lägg i varukorg
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 30th International Workshop on Logic, Language, Information, and Computation, WoLLIC 2024, held in Bern, Switzerland, during June 10–13, 2024.The 18 full …
Logic, Language, Information, and Computation
30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10–13, 2024, Proceedings
Av Ruy de Queiroz, Thomas Studer m. fl.
E-bok, 2024
903 kr
Lägg i varukorg
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 30th International Workshop on Logic, Language, Information, and Computation, WoLLIC 2024, held in Bern, Switzerland, during June 10–13, 2024. The 18 full …
Logic, Language, Information, and Computation
31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14–17, 2025, Proceedings
Av Dexter Kozen, Ruy de Queiroz
Häftad, 2025
747 kr
Lägg i varukorg
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 31st International Workshop on Logic, Language, Information, and Computation, WoLLIC 2025, in Porto, Portugal, during July 2025.The 21 full papers included in …
Logic, Language, Information, and Computation
31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14-17, 2025, Proceedings
Av Ruy de Queiroz, Dexter Kozen
E-bok, 2025
1007 kr
Lägg i varukorg
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 31st International Workshop on Logic, Language, Information, and Computation, WoLLIC 2025, in Porto, Portugal, during July 2025.The 21 full papers included in …
Logic, Language, Information, and Computation
32nd International Workshop, WoLLIC 2026, Lima, Peru, August 3–6, 2026, Proceedings
Av Patricia Johann, Ruy de Queiroz
Häftad, 2026
992 kr
Lägg i varukorg
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 32nd International Workshop on Logic, Language, Information, and Computation, WoLLIC 2026, in Lima, Peru, during August 3-6, 2026.The 9 full papers included …
Logic, Language, Information, and Computation
32nd International Workshop, WoLLIC 2026, Lima, Peru, August 3-6, 2026, Proceedings
Av Ruy de Queiroz, Patricia Johann
E-bok, 2026
985 kr
Lägg i varukorg
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 32nd International Workshop on Logic, Language, Information, and Computation, WoLLIC 2026, in Lima, Peru, during August 3-6, 2026.The 9 full papers included …
Logic, Language, Information and Computation
15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008, Proceedings
Av Ruy de Queiroz, Wilfrid Hodges
E-bok, 2008
1027 kr
Lägg i varukorg
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 4th volume of the FoLLI LNAI subline; containing the refereed proceedings of the 15th International Workshop on Logic, Language, Information and Computation, WoLLIC 2008, held in …
Logic, Language, Information and Computation
14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings
Av Daniel Leivant, Ruy de Queiroz
Häftad, 2007
552 kr
Lägg i varukorg
Welcome to the proceedings of the 14th WoLLIC meeting, which was held in Rio de Janeiro, Brazil, July 2 - 5, 2007. The Workshop on Logic, Language, Information and Computation (WoLLIC) is an annual international forum on inter-disciplinary research involving formal logic, computing and programming …
Logic, Language, Information and Computation
14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings
Av Ruy de Queiroz, Daniel Leivant
E-bok, 2007
755 kr
Lägg i varukorg
Welcome to the proceedings of the 14th WoLLIC meeting, which was held in Rio de Janeiro, Brazil, July 2 - 5, 2007. The Workshop on Logic, Language, Information and Computation (WoLLIC) is an annual international forum on inter-disciplinary research involving formal logic, computing and programming …
Logic, Language, Information and Computation
16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009, Proceedings
Av Hiroakira Ono, Makoto Kanazawa m. fl.
Häftad, 2009
568 kr
Lägg i varukorg
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 4th volume of the FoLLI LNAI subline; containing the refereed proceedings of the 16h International Workshop on Logic, Language, Information and Computation, WoLLIC 2009, held in Tokyo, …
Logic, Language, Information and Computation
16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009, Proceedings
Av Ruy de Queiroz, Makoto Kanazawa m. fl.
E-bok, 2009
718 kr
Lägg i varukorg
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 4th volume of the FoLLI LNAI subline; containing the refereed proceedings of the 16h International Workshop on Logic, Language, Information and Computation, WoLLIC 2009, held in Tokyo, …
Logic, Language, Information and Computation
17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings
Häftad, 2010
568 kr
Lägg i varukorg
This volume contains the papers presented at WoLLIC 2010: 17th Workshop on Logic, Language, Information and Computation held during July 6–9, 2010, on the campus of Universidade de Bras´ ?lia (UnB), Brazil. The Workshop on Logic, Language, Information and Computation (WoL- LIC) is an annual event, …
Logic, Language, Information and Computation
17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings
E-bok, 2010
755 kr
Lägg i varukorg
This volume contains the papers presented at WoLLIC 2010: 17th Workshop on Logic, Language, Information and Computation held during July 6–9, 2010, on the campus of Universidade de Bras´ ?lia (UnB), Brazil. The Workshop on Logic, Language, Information and Computation (WoL- LIC) is an annual event, …
Logic, Language, Information, and Computation
18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings
Av Lev D. Beklemishev, Ruy de Queiroz
Häftad, 2011
552 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 18th Workshop on Logic, Language, Information and Communication, WoLLIC 2011, held in Philadelphia, PA, USA, in May 2011. The 21 revised full papers presented were carefully reviewed and selected from 35 submissions. Among the topics covered are …
Logic, Language, Information, and Computation
18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings
Av Ruy de Queiroz, Lev D. Beklemishev
E-bok, 2011
734 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 18th Workshop on Logic, Language, Information and Communication, WoLLIC 2011, held in Philadelphia, PA, USA, in May 2011. The 21 revised full papers presented were carefully reviewed and selected from 35 submissions. Among the topics covered are …
Logic, Language, Information, and Computation
Häftad, 2012
552 kr
Lägg i varukorg
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 19th Workshop on Logic, Language, Information and Communication, WoLLIC 2012, held in Buenos Aires, Argentina, in September 2012. The papers accompanying 8 …
Logic, Language, Information, and Computation
E-bok, 2012
734 kr
Lägg i varukorg
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 19th Workshop on Logic, Language, Information and Communication, WoLLIC 2012, held in Buenos Aires, Argentina, in September 2012. The papers accompanying 8 …
Logic, Language, Information, and Computation
20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings
Av Leonid Libkin, Ulrich Kohlenbach m. fl.
Häftad, 2013
523 kr
Lägg i varukorg
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 20th Workshop on Logic, Language, Information and Communication, WoLLIC 2013, held in Darmstadt, Germany, in August 2013. The 17 contributed papers presented …
Logic, Language, Information, and Computation
20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings
Av Ruy de Queiroz, Ulrich Kohlenbach m. fl.
E-bok, 2013
672 kr
Lägg i varukorg
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 20th Workshop on Logic, Language, Information and Communication, WoLLIC 2013, held in Darmstadt, Germany, in August 2013. The 17 contributed papers presented …
Logic, Language, Information, and Computation
22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
Av Valeria de Paiva, Ruy de Queiroz m. fl.
Häftad, 2015
456 kr
Lägg i varukorg
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 22nd Workshop on Logic, Language, Information and Computation, WoLLIC 2015, held in the campus of Indiana University, Bloomington, IN, USA in July 2015.The 14 …
Logic, Language, Information, and Computation
22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
Av Anjolina G. de Oliveira, Daniel Leivant m. fl.
E-bok, 2015
588 kr
Lägg i varukorg
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 22nd Workshop on Logic, Language, Information and Computation, WoLLIC 2015, held in the campus of Indiana University, Bloomington, IN, USA in July 2015. The …
Logic, Language, Information, and Computation
23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings
Av Jouko Väänänen, Åsa Hirvonen m. fl.
Häftad, 2016
552 kr
Lägg i varukorg
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 23rd Workshop on Logic, Language, Information and Communication, WoLLIC 2016, held in Puebla, Mexico, in August 2016.The 23 contributed papers, presented …
Logic, Language, Information, and Computation
23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings
Av Ruy de Queiroz, Asa Hirvonen m. fl.
E-bok, 2016
755 kr
Lägg i varukorg
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 23rd Workshop on Logic, Language, Information and Communication, WoLLIC 2016, held in Puebla, Mexico, in August 2016. The 23 contributed papers, presented …
Logic, Language, Information, and Computation
25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings
Av Lawrence S. Moss, Ruy de Queiroz m. fl.
Häftad, 2018
747 kr
Lägg i varukorg
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 25th Workshop on Logic, Language, Information and Communication, WoLLIC 2018, held inBogota, Colombia, in July 2018. The 16 full papers together with 3 short …
Logic, Language, Information, and Computation
25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings
Av Maricarmen Martinez, Ruy de Queiroz m. fl.
E-bok, 2018
978 kr
Lägg i varukorg
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 25th Workshop on Logic, Language, Information and Communication, WoLLIC 2018, held inBogota, Colombia, in July 2018. The 16 full papers together with 3 short …
Logic, Language, Information, and Computation
26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings
Av Rosalie Iemhoff, Michael Moortgat m. fl.
Häftad, 2019
568 kr
Lägg i varukorg
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 26th Workshop on Logic, Language, Information and Communication, WoLLIC 2019, held in Utrecht, The Netherlands, in July 2019. The 41 full papers together with …
Logic, Language, Information, and Computation
26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings
Av Ruy de Queiroz, Michael Moortgat m. fl.
E-bok, 2019
739 kr
Lägg i varukorg
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 26th Workshop on Logic, Language, Information and Communication, WoLLIC 2019, held in Utrecht, The Netherlands, in July 2019. The 41 full papers together with …
