Jump to main content

yr 〜
yr

Search results 16

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)
Paper図書
Springer[2015]<M17-16-471>
National Diet Library
  • Author Heading...aiva, Valeria. Queiroz, Ruy J. G. B. de. Moss, Lawrence Stuart, 1959- ...

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)
Paper図書
Springer[2014]<M17-15-1523>
National Diet Library
  • Author Heading...rceló, Pablo. Queiroz, Ruy J. G. B. de.

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)
Paper図書
Springerc2013.<M17-14-592>
National Diet Library
  • Author Heading...h, U. (Ulrich) Queiroz, Ruy J. G. B. de.

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)
Paper図書
Springerc2012.<M17-13-605>
National Diet Library
  • Author Heading...na) Ong, Luke. Queiroz, Ruy J. G. B. de.

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)
Paper図書
Springerc2011.<M17-11-2320>
National Diet Library
  • Author Heading...rievich, 1967- Queiroz, Ruy J. G. B. de. Workshop on Logic, Language, ...

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)
Paper図書
Springerc2010.<M17-10-3754>
National Diet Library
  • Author HeadingDawar, Anuj. Queiroz, Ruy J. G. B. de. Workshop on Logic, Language, ...

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
Paper図書
Helle Hvid Hansen ... [et al.], editorsSpringerc2023
Other Libraries in Japan

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)
Paper図書
Springerc2009.<M17-10-644>
National Diet Library
  • Author Heading... Makoto, 1964- Queiroz, Ruy J. G. B. de. Workshop on Logic, Language, ...

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)
Paper図書
Springerc2008.<M17-08-2126>
National Diet Library
  • Author HeadingHodges, Wilfrid. Queiroz, Ruy J. G. B. de. Workshop on Logic, Language, ...

Logic, language, information and computation : 14th international workshop, WoLLIC 2007 : Rio de Janeiro, Brazil, July 2-5, 2007 : proceedings. : 14th WoLLIC meeting : Jul 2007, Rio de Janeiro, Brazil. (Lecture Notes in Computer Science ; 4576)

Logic, language, information and computation : 14th international workshop, WoLLIC 2007 : Rio de Janeiro, Brazil, July 2-5, 2007 : proceedings. : 14th WoLLIC meeting : Jul 2007, Rio de Janeiro, Brazil. (Lecture Notes in Computer Science ; 4576)
Paper図書
Springerc2007.<M17-07-2480>
National Diet Library
  • Author Heading...urice Raphaël. Queiroz, Ruy J. G. B. de. WoLLIC 2007 (2007 : Rio de Ja...

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
Paper図書
Agata Ciabattoni, Elaine Pimentel, Ruy J.G.B. de Queiroz (eds.)Springerc2022
Other Libraries in Japan

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
Paper図書
Rosalie Iemhoff, Michael Moortgat, Ruy de Queiroz (eds.)Springer2019
Other Libraries in Japan

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
Paper図書
Juliette Kennedy, Ruy J.G.B. de Queiroz (eds.)Springer2017
Other Libraries in Japan

The functional interpretation of logical deduction

The functional interpretation of logical deduction
Paper図書
Ruy J.G.B. de Queiroz, Anjolina G. de Oliveira and Dov. M. GabbayWorld Scientificc2012
Other Libraries in Japan

Logic, language, information and computation : 15th International Workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008 : proceedings

Logic, language, information and computation : 15th International Workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008 : proceedings
Paper図書
Wilfrid Hodges, Ruy de Queiroz (eds.)Springerc2008
Other Libraries in Japan

Logic for concurrency and synchronisation

Logic for concurrency and synchronisation
Paper図書
edited by Ruy J.G.B. de QueirozKluwer Academicc2003
Other Libraries in Japan

Reached to the end of result.

RSS