本文に飛ぶ

年 〜
年

検索結果 21 件

Logic, language, information, and computation : 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10-13, 2024 : proceedings

Logic, language, information, and computation : 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10-13, 2024 : proceedings
紙図書
George Metcalfe, Thomas Studer, Ruy de Queiroz, editorsSpringerc2024
全国の図書館
  • 著者標目Workshop on Logic, Language, Information and Computation Metcalfe, George Studer, Thom...

Logic, language, information, and computation : 29th international workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023 : proceedings

Logic, language, information, and computation : 29th international workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023 : proceedings
紙図書
Helle Hvid Hansen ... [et al.], editorsSpringerc2023
全国の図書館
  • 一般注記...ed at the 29th Workshop on Logic, Language, Information and Computation (WoLLIC 2023), held on July 1...
  • 著者標目Workshop on Logic, Language, Information and Computation Hansen, Helle Hvid Ščedrov, A...

Logic, language, information, and computation : 27th international workshop, WoLLIC 2021, virtual event, October 5-8, 2021 : proceedings

Logic, language, information, and computation : 27th international workshop, WoLLIC 2021, virtual event, October 5-8, 2021 : proceedings
紙図書
Alexandra Silvia, Renata Wassermann, Ruy de Queiroz (eds.)Springerc2021
全国の図書館
  • 一般注記...ed at the 27th Workshop on Logic, Language, Information and Computation (WoLLIC 2021) held virtually ...
  • 著者標目Workshop on Logic, Language, Information and Computation Silvia, Alexandra Wassermann,...

Logic, language, information, and computation : 28th International Workshop, WoLLIC 2022, Iaşi, Romania, September 20-23, 2022 : proceedings

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.)Springerc2022
全国の図書館
  • 著者標目Workshop on Logic, Language, Information and Computation Ciabattoni, Agata Pimentel, E...

Logic, language, information, and computation : 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019 : proceedings

Logic, language, information, and computation : 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019 : proceedings
紙図書
Rosalie Iemhoff, Michael Moortgat, Ruy de Queiroz (eds.)Springer2019
全国の図書館
  • 著者標目Workshop on Logic, Language, Information and Computation Iemhoff, Rosalie Moortgat, Mi...

Logic, language, information, and computation : 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018 : proceedings

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.)Springerc2018
全国の図書館
  • 著者標目Workshop on Logic, Language, Information and Computation Moss, Lawrence Stuart Queiroz...

Logic, language, information, and computation : 21st international workshop, WoLLIC 2014 : Valparaíso, Chile, September 1-4, 2014 : proceedings : Sep 2014, Valparaíso, Chile. (Lecture Notes in Computer Science ; 8652)

Logic, language, information, and computation : 21st international workshop, WoLLIC 2014 : Valparaíso, Chile, September 1-4, 2014 : proceedings : Sep 2014, Valparaíso, Chile. (Lecture Notes in Computer Science ; 8652)
紙図書
Springer[2014]<M17-15-1523>
国立国会図書館
  • 著者標目Workshop on Logic, Language, Information and Computation (21st : 2014 : Valparaíso, C...

Logic, language, information, and computation : 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017 : proceedings

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.)Springer2017
全国の図書館
  • 著者標目Workshop on Logic, Language, Information and Computation Kennedy, Juliette Queiroz, Ru...

Logic, language, information, and computation : 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, proceedings

Logic, language, information, and computation : 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, proceedings
紙図書
Valeria de Paiva ... [et al.] (eds.)Springerc2015
全国の図書館
  • 著者標目Workshop on Logic, Language, Information and Computation De Paiva, Valeria

Logic, language, information, and computation : 20th international workshop, WoLLIC 2013 : Darmstadt, Germany, August 20-23, 2013 : proceedings : Aug 2013, Darmstadt, Germany. (Lecture Notes in Computer Science ; 8071)

Logic, language, information, and computation : 20th international workshop, WoLLIC 2013 : Darmstadt, Germany, August 20-23, 2013 : proceedings : Aug 2013, Darmstadt, Germany. (Lecture Notes in Computer Science ; 8071)
紙図書
Springerc2013.<M17-14-592>
国立国会図書館
  • 著者標目Workshop on Logic, Language, Information and Computation (20th : 2013 : Darmstadt, Ger...

Logic, language, information, and computation : 23rd International Workshop, WOLLIC 2016, Puebla, Mexico, August 16-19th, 2016 : proceedings

Logic, language, information, and computation : 23rd International Workshop, WOLLIC 2016, Puebla, Mexico, August 16-19th, 2016 : proceedings
紙図書
Jouko Väänänen, Åsa Hirvonen, Ruy de Queiroz (eds.)Springerc2016
全国の図書館
  • 著者標目Workshop on Logic, Language, Information and Computation Väänänen, J. (Jouko) Hirvonen...

Logic, language, information and computation : 19th international workshop, WoLLIC 2012 : Buenos Aires, Argentina, September 3-6, 2012 : proceedings : WoLLIC 2012 conference : Sep 2012, Buenos Aires, Argentina. (Lecture Notes in Computer Science ; 7456)

Logic, language, information and computation : 19th international workshop, WoLLIC 2012 : Buenos Aires, Argentina, September 3-6, 2012 : proceedings : WoLLIC 2012 conference : Sep 2012, Buenos Aires, Argentina. (Lecture Notes in Computer Science ; 7456)
紙図書
Springerc2012.<M17-13-605>
国立国会図書館
  • 著者標目Workshop on Logic, Language, Information and Computation (19th : 2012 : Buenos Aires, ...

Logic, language, information, and computation : 22nd international workshop, WoLLIC 2015 : Bloomington, IN, USA, July 20-23, 2015 : proceedings : Jul 2015, Bloomington, IN. (Lecture Notes in Computer Science ; 9160)

Logic, language, information, and computation : 22nd international workshop, WoLLIC 2015 : Bloomington, IN, USA, July 20-23, 2015 : proceedings : Jul 2015, Bloomington, IN. (Lecture Notes in Computer Science ; 9160)
紙図書
Springer[2015]<M17-16-471>
国立国会図書館
  • 要約等...gs of the 22nd Workshop on Logic, Language, Information and Computation, WoLLIC 2015, held in the cam...
  • 著者標目Workshop on Logic, Language, Information and Computation (22nd : 2015 : Bloomington, I...

Logic, language, information, and computation : 21th International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014 proceedings

Logic, language, information, and computation : 21th International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014 proceedings
紙図書
Ulrich Kohlenbach, Pablo Barceló, Ruy de Queiroz (eds.)Springerc2014
全国の図書館
  • 著者標目Workshop on Logic, Language, Information and Computation Kohlenbach, Ulrich Barceló, P...

Logic, language, information and computation : 18th international workshop, WoLLIC 2011 : Philadelphia, PA, USA, May 18-20, 2011 : proceedings. : May 2011, Philadelphia, PA. (Lecture Notes in Computer Science ; 6642. Lecture Notes in Artificial Intelligence)

Logic, language, information and computation : 18th international workshop, WoLLIC 2011 : Philadelphia, PA, USA, May 18-20, 2011 : proceedings. : May 2011, Philadelphia, PA. (Lecture Notes in Computer Science ; 6642. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2011.<M17-11-2320>
国立国会図書館
  • 著者標目...y J. G. B. de. Workshop on Logic, Language, Information and Computation (18th : 2011 : Philadelphia, ...

Logic, language, information and computation : 17th international workshop, WoLLIC 2010 : Brasilia, Brazil, July 6-9, 2010 : proceedings. : Jul 2010, Brasilia, Brazil. (Lecture Notes in Computer Science ; 6188. Lecture Notes in Artificial Intelligence)

Logic, language, information and computation : 17th international workshop, WoLLIC 2010 : Brasilia, Brazil, July 6-9, 2010 : proceedings. : Jul 2010, Brasilia, Brazil. (Lecture Notes in Computer Science ; 6188. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2010.<M17-10-3754>
国立国会図書館
  • 著者標目...y J. G. B. de. Workshop on Logic, Language, Information and Computation (17th : 2010 : Brasília, Braz...

Logic, language, information, and computation : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, proceedings

Logic, language, information, and computation : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, proceedings
紙図書
Leonid Libkin, Ulrich Kohlenbach, Ruy de Queiroz (eds.)Springerc2013
全国の図書館
  • 著者標目Workshop on Logic, Language, Information and Computation Libkin, Leonid Kohlenbach, Ul...

Logic, language, information and computation : 15th international workshop, WoLLIC 2008 : Edinburgh, UK, July 1-4, 2008 : proceedings. : Jul 2008, Edinburgh, UK. (Lecture Notes in Computer Science ; 5110. Lecture Notes in Artificial Intelligence)

Logic, language, information and computation : 15th international workshop, WoLLIC 2008 : Edinburgh, UK, July 1-4, 2008 : proceedings. : Jul 2008, Edinburgh, UK. (Lecture Notes in Computer Science ; 5110. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2008.<M17-08-2126>
国立国会図書館
  • 著者標目...y J. G. B. de. Workshop on Logic, Language, Information and Computation (15th : 2008 : Edinburgh, U.K...

Logic, language, information and computation : 18th international workshop, WOLLIC 2011 Philadelphia, PA, USA : proceedings

Logic, language, information and computation : 18th international workshop, WOLLIC 2011 Philadelphia, PA, USA : proceedings
紙図書
Lev D. Beklemishev, Ruy de Queiroz (eds.)Springerc2011
全国の図書館
  • 著者標目Workshop on Logic, Language, Information and Computation Beklemishev, Lev Dmitrievich ...

Logic, language, information and computation : 16th international workshop, WoLLIC 2009 : Tokyo, Japan, June 21-24, 2009 : proceedings. : Jun 2009, Tokyo, Japan. (Lecture Notes in Computer Science ; 5514. Lecture Notes in Artificial Intelligence)

Logic, language, information and computation : 16th international workshop, WoLLIC 2009 : Tokyo, Japan, June 21-24, 2009 : proceedings. : Jun 2009, Tokyo, Japan. (Lecture Notes in Computer Science ; 5514. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2009.<M17-10-644>
国立国会図書館
  • 著者標目...y J. G. B. de. Workshop on Logic, Language, Information and Computation (16th : 2009 : Tokyo, Japan)
RSS