年 〜
年

検索結果 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
全国の図書館

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
全国の図書館

Modal logic

Modal logic
紙図書
Patrick Blackburn, Maarten de Rijke, Yde VenemaCambridge University Press2001
全国の図書館

Frontiers of combining systems 2

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

Advances in intensional logic

Advances in intensional logic
紙図書
edited by Maarten de RijkeKluwer Academic Publishersc1997
全国の図書館

Specifying syntactic structures hc. pbk.

Specifying syntactic structures hc. pbk.
紙図書
edited by Patrick Blackburn & Maarten de RijkeCSLI Publicationsc1997
全国の図書館

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
全国の図書館

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
全国の図書館

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
全国の図書館

Logic Colloquium '92 : cloth : paper

Logic Colloquium '92 : cloth : paper
紙図書
edited by László Csirmaz, Dov M. Gabbay, and Maarten de RijkeCSLI Publicationsc1995
全国の図書館

A system of dynamic modal logic

A system of dynamic modal logic
紙図書
Maarten de RijkeCenter for the Study of Language and Information (CSLI)c1992
全国の図書館

検索結果は以上です。