yr 〜
yr

Search results 4

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...raíso, Chile) Kohlenbach, U. (Ulrich) Barceló, Pablo. Queiroz, Ruy...

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...ibkin, Leonid. Kohlenbach, U. (Ulrich) Queiroz, Ruy J. G. B. de.

Applied proof theory : proof interpretations and their use in mathematics : pbk.

Applied proof theory : proof interpretations and their use in mathematics : pbk.
Paper図書
U. KohlenbachSpringer2008
Other Libraries in Japan
  • Author HeadingKohlenbach, U. (Ulrich)

Applied proof theory : proof interpretations and their use in mathematics

Applied proof theory : proof interpretations and their use in mathematics
Paper図書
U. KohlenbachSpringerc2008
Other Libraries in Japan
  • Author HeadingKohlenbach, U. (Ulrich)

Reached to the end of result.