Jump to main content

yr 〜
yr

Search results 6

One hundred prisoners and a light bulb

One hundred prisoners and a light bulb
Paper図書
Hans van Ditmarsch, Barteld Kooi ; illustrations by ElancheziyanSpringerc2015
Other Libraries in Japan
  • Author HeadingDitmarsch, Hans van Kooi, Barteld Pieter Elanchez...

Handbook of epistemic logic

Handbook of epistemic logic
Paper図書
edited by Hans van Ditmarsch ... [et al.]College Publicationsc2015
Other Libraries in Japan
  • Author HeadingDitmarsch, Hans van Halpern, Joseph Y Hoek, Wiebe...

Logic, rationality, and interaction : Third international workshop, LORI 2011 Guangzhou, China, October 10-13, 2011 proceedings pbk.

Logic, rationality, and interaction : Third international workshop, LORI 2011 Guangzhou, China, October 10-13, 2011 proceedings pbk.
Paper図書
Hans van Ditmarsch, Jerome Lang, Shier JuSpringer2011
Other Libraries in Japan
  • Author HeadingDitmarsch, Hans van Lang, Jérôme Ju, Shier Europe...

Tools for teaching logic : third international congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011, proceedings : [pbk.]

Tools for teaching logic : third international congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011, proceedings : [pbk.]
Paper図書
Patrick Blackburn ... [et al.] (eds.)Springerc2011
Other Libraries in Japan
  • Author Heading...kburn, Patrick Ditmarsch, Hans van Manzano, María Soler-Toscano,...

100人の囚人と1個の電球 : 知識と推論にまつわる論理パズル

100人の囚人と1個の電球 : 知識と推論にまつわる論理パズル
PaperRecording Media図書障害者向け資料あり
ハンス・ファン・ディトマーシュ, バーテルド・クーイ 著, 川辺治之 訳日本評論社2016.11<MA34-L26>
National Diet LibraryOther Libraries in Japan
  • Author HeadingDitmarsch, Hans van, 1959- Kooi, Barteld Pieter, ...

Logic, rationality, and interaction : third international workshop, LORI 2011 : Guangzhou, China, October 10-13, 2011 : proceedings : LORI-3 : LORI events : LORI conference : Oct 2011, Guangzhou, China. (Lecture Notes in Computer Science ; 6953. Lecture Notes in Artificial Intelligence)

Logic, rationality, and interaction : third international workshop, LORI 2011 : Guangzhou, China, October 10-13, 2011 : proceedings : LORI-3 : LORI events : LORI conference : Oct 2011, Guangzhou, China. (Lecture Notes in Computer Science ; 6953. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2011.<M17-12-1237>
National Diet Library
  • Author HeadingDitmarsch, Hans van (Hans Pieter), 1959- Lang, Je...

Reached to the end of result.

RSS