本文に飛ぶ

年 〜
年

検索結果 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)
紙図書
Springer[2014]<M17-15-1523>
国立国会図書館
  • 著者標目...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)
紙図書
Springerc2013.<M17-14-592>
国立国会図書館
  • 著者標目...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.
紙図書
U. KohlenbachSpringer2008
全国の図書館
  • 著者標目Kohlenbach, U. (Ulrich)

Applied proof theory : proof interpretations and their use in mathematics

Applied proof theory : proof interpretations and their use in mathematics
紙図書
U. KohlenbachSpringerc2008
全国の図書館
  • 著者標目Kohlenbach, U. (Ulrich)

検索結果は以上です。

RSS