本文に飛ぶ

年 〜
年

検索結果 13 件

Advances in information retrieval : 36th European conference on IR research, ECIR 2014 : Amsterdam, the Netherlands, April 13-16, 2014 : proceedings : ECIR 2014 workshops : ECIR 2014 tutorials : Apr 2014, Amsterdam, the Netherlands. (Lecture Notes in Computer Science ; 8416)

Advances in information retrieval : 36th European conference on IR research, ECIR 2014 : Amsterdam, the Netherlands, April 13-16, 2014 : proceedings : ECIR 2014 workshops : ECIR 2014 tutorials : Apr 2014, Amsterdam, the Netherlands. (Lecture Notes in Computer Science ; 8416)
紙図書
Springerc2014.<M17-14-2142>
国立国会図書館
  • 著者標目...e Netherlands) Rijke, Maarten de. University of Amsterdam.

Advances in information retrieval : 36th European Conference on IR Research, ECIR 2014, Amsterdam, The Netherlands, April 13-16, 2014 : proceedings : [pbk.]

Advances in information retrieval : 36th European Conference on IR Research, ECIR 2014, Amsterdam, The Netherlands, April 13-16, 2014 : proceedings : [pbk.]
紙図書
Maarten de Rijke ... [et al.] (eds.)Springerc2014
全国の図書館
  • 著者標目ECIR Rijke, Maarten de

Diamonds and defaults : studies in pure and applied intensional logic / edited by Maarten de Rijke. (Synthese library ; v. 229)

Diamonds and defaults : studies in pure and applied intensional logic / edited by Maarten de Rijke. (Synthese library ; v. 229)
紙図書
Kluwer Academic Publishers1993.<M15-A8898>
国立国会図書館
  • 著者標目Rijke, Maarten de.

Modal logic : paperback

Modal logic : paperback
紙図書
Patrick Blackburn, Maarten de Rijke, Yde VenemaCambridge University Press2002, c2001
全国の図書館
  • 著者標目Blackburn, Patrick Rijke, Maarten de Venema, Yde

Modal logic

Modal logic
紙図書
Patrick Blackburn, Maarten de Rijke, Yde VenemaCambridge University Press2001
全国の図書館
  • 著者標目Blackburn, Patrick Rijke, Maarten de Venema, Yde

Frontiers of combining systems 2

Frontiers of combining systems 2
紙図書
edited by Dov M. Gabbay, Maarten de RijkeResearch Studies Pressc2000
全国の図書館
  • 著者標目Gabbay, Dov M. Rijke, Maarten de

Advances in intensional logic

Advances in intensional logic
紙図書
edited by Maarten de RijkeKluwer Academic Publishersc1997
全国の図書館
  • 著者標目Rijke, Maarten de

Specifying syntactic structures hc. pbk.

Specifying syntactic structures hc. pbk.
紙図書
edited by Patrick Blackburn & Maarten de RijkeCSLI Publicationsc1997
全国の図書館
  • 著者標目Blackburn, Patrick Rijke, Maarten de

Modal logic and process algebra : a bisimulation perspective : pbk

Modal logic and process algebra : a bisimulation perspective : pbk
紙図書
edited by Alban Ponse, Maarten de Rijke & Yde VenemaCenter for the Study of Language and Informationc1995
全国の図書館
  • 著者標目Ponse, A. (Alban) Rijke, Maarten de Venema, Yde

Logic, language and computation v. 1 v. 1 : pbk v. 2 v. 2 : pbk v. 3 v. 3 : pbk

Logic, language and computation v. 1 v. 1 : pbk v. 2 v. 2 : pbk v. 3 v. 3 : pbk
紙図書
edited by Jerry Seligman & Dag WesterståhlCenter for the Study of Language and Informationc1996-c2000
全国の図書館
  • 著者標目...burg, Jonathan Rijke, Maarten de Cavedon, Lawrence Blackburn, ...

Diamonds and defaults : studies in pure and applied intensional logic

Diamonds and defaults : studies in pure and applied intensional logic
紙図書
edited by Maarten de RijkeKluwer Academic Publishersc1993
全国の図書館
  • 著者標目Rijke, Maarten de Seminar on Intensional Logic

Logic Colloquium '92 : cloth : paper

Logic Colloquium '92 : cloth : paper
紙図書
edited by László Csirmaz, Dov M. Gabbay, and Maarten de RijkeCSLI Publicationsc1995
全国の図書館
  • 著者標目Logic Colloquium Csirmaz, László Gabbay, Dov M. Rijke, Maarten de Association for Symbolic Logi...

A system of dynamic modal logic

A system of dynamic modal logic
紙図書
Maarten de RijkeCenter for the Study of Language and Information (CSLI)c1992
全国の図書館
  • 著者標目Rijke, Maarten de Stanford University. Center f...

検索結果は以上です。

RSS