Jump to main content

yr 〜
yr

Search results 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)
Paper図書
Springer[2015]<M17-16-471>
National Diet Library

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 HeadingLeivant, Daniel Maurice Raphaël. Queiroz, Ruy J. G. B. de. Wo...

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)
Paper図書
Springerc1995.<M15-A9824>
National Diet Library
  • Author HeadingLeivant, 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
Paper図書
Daniel Leivant, Ruy de Queiroz (eds.)Springerc2007
Other Libraries in Japan
  • Author HeadingWoLLIC Leivant, Daniel Maurice Raphaël Queiroz, Ruy de

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
Paper図書
Daniel Leivant (ed.)Springer-Verlagc1995
Other Libraries in Japan
  • Author HeadingInternational Workshop LCC Leivant, Daniel Maurice Raphaël

Absoluteness of intuitionistic logic

Absoluteness of intuitionistic logic
Paper図書
D. M. R. LeivantMathematisch Centrum1979
Other Libraries in Japan
  • Author HeadingLeivant, Daniel Maurice Raphaël

Reached to the end of result.

RSS