yr 〜
yr

Search results 3

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
  • Subject Heading...on Computation WoLLIC

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
Paper図書
Ulrich Kohlenbach, Pablo Barceló, Ruy de Queiroz (eds.)Springerc2014
Other Libraries in Japan
  • Subject Heading...on Computation WoLLIC
  • Subject Heading (ID)...on Computation WoLLIC

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
Paper図書
Leonid Libkin, Ulrich Kohlenbach, Ruy de Queiroz (eds.)Springerc2013
Other Libraries in Japan
  • Subject Heading...on Computation WoLLIC
  • Subject Heading (ID)...on Computation WoLLIC
  • Alternative Title...onal Workshop, WoLLIC 2013, Darmstadt, Germany, Aug...

Reached to the end of result.