年 〜
年

検索結果 6 件

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>
国立国会図書館

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)
紙図書
Springerc2007.<M17-07-2480>
国立国会図書館
  • 著者標目Leivant, Daniel Maurice Raphaël. Queiroz, Ruy J. G. B. de. WoL...

Logic and computational complexity : international workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers / Daniel Leivant (ed.). (Lecture notes in computer science)

Logic and computational complexity : international workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers / Daniel Leivant (ed.). (Lecture notes in computer science)
紙図書
Springerc1995.<M15-A9824>
国立国会図書館
  • 著者標目Leivant, Daniel Maurice Raphaël.

Logic, language, information and computation : 14th International Workshop, WoLLIC 2007 Rio de Janeiro, Brazil, July 2-5, 2007 : proceedings

Logic, language, information and computation : 14th International Workshop, WoLLIC 2007 Rio de Janeiro, Brazil, July 2-5, 2007 : proceedings
紙図書
Daniel Leivant, Ruy de Queiroz (eds.)Springerc2007
全国の図書館

Logic and computational complexity : International Workshop LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers

Logic and computational complexity : International Workshop LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers
紙図書
Daniel Leivant (ed.)Springer-Verlagc1995
全国の図書館

Absoluteness of intuitionistic logic

Absoluteness of intuitionistic logic
紙図書
D. M. R. LeivantMathematisch Centrum1979
全国の図書館

検索結果は以上です。