Jump to main content

yr 〜
yr

Search results 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)
Paper図書
Springerc2014.<M17-14-2142>
National Diet Library
  • Author Heading...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.]
Paper図書
Maarten de Rijke ... [et al.] (eds.)Springerc2014
Other Libraries in Japan

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)
Paper図書
Kluwer Academic Publishers1993.<M15-A8898>
National Diet Library
  • Author HeadingRijke, Maarten de.

Modal logic : paperback

Modal logic : paperback
Paper図書
Patrick Blackburn, Maarten de Rijke, Yde VenemaCambridge University Press2002, c2001
Other Libraries in Japan

Modal logic

Modal logic
Paper図書
Patrick Blackburn, Maarten de Rijke, Yde VenemaCambridge University Press2001
Other Libraries in Japan

Frontiers of combining systems 2

Frontiers of combining systems 2
Paper図書
edited by Dov M. Gabbay, Maarten de RijkeResearch Studies Pressc2000
Other Libraries in Japan

Advances in intensional logic

Advances in intensional logic
Paper図書
edited by Maarten de RijkeKluwer Academic Publishersc1997
Other Libraries in Japan

Specifying syntactic structures hc. pbk.

Specifying syntactic structures hc. pbk.
Paper図書
edited by Patrick Blackburn & Maarten de RijkeCSLI Publicationsc1997
Other Libraries in Japan

Modal logic and process algebra : a bisimulation perspective : pbk

Modal logic and process algebra : a bisimulation perspective : pbk
Paper図書
edited by Alban Ponse, Maarten de Rijke & Yde VenemaCenter for the Study of Language and Informationc1995
Other Libraries in Japan

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
Paper図書
edited by Jerry Seligman & Dag WesterståhlCenter for the Study of Language and Informationc1996-c2000
Other Libraries in Japan

Diamonds and defaults : studies in pure and applied intensional logic

Diamonds and defaults : studies in pure and applied intensional logic
Paper図書
edited by Maarten de RijkeKluwer Academic Publishersc1993
Other Libraries in Japan

Logic Colloquium '92 : cloth : paper

Logic Colloquium '92 : cloth : paper
Paper図書
edited by László Csirmaz, Dov M. Gabbay, and Maarten de RijkeCSLI Publicationsc1995
Other Libraries in Japan

A system of dynamic modal logic

A system of dynamic modal logic
Paper図書
Maarten de RijkeCenter for the Study of Language and Information (CSLI)c1992
Other Libraries in Japan

Reached to the end of result.

RSS