岐阜大学図書館蔵書検索（OPAC）

同じキーワードで他のサイトを検索できます。

絞り込み条件

タイトル：

フルタイトル：

著者名：

出版者：

ISBN / ISSN / 書誌ID / 図書ID：

出版年：

主題：

請求記号：

所在：

言語：

選択:

検索結果: 2 件

図書

1. Handbook of modal logic

edited by Patrick Blackburn, Johan van Benthem, Frank Wolter

出版情報:	Amsterdam ; Boston ; Tokyo : Elsevier, 2007
シリーズ名:	Studies in logic and practical reasoning ; v. 3
子書誌情報:	loading…
所蔵情報:	図書館

図書

2. Modal logic

Patrick Blackburn, Maarten de Rijke, Yde Venema

出版情報:	Cambridge : Cambridge University Press, c2001
シリーズ名:	Cambridge tracts in theoretical computer science ; 53
子書誌情報:	loading…
所蔵情報:	図書館