Search records | 東京工業大学附属図書館蔵書検索

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

しぼり込み検索

タイトル：

フルタイトル：

著者名：

出版者：

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

出版年：

～

所在：

主題：

請求記号：

目次情報：

表示順選択

検索結果: 2 件

図書

1. Foundations of deductive databases and logic programming

contributors, Krzysztof R. Apt ... [et al.] ; edited by Jack Minker

出版情報:	Los Altos, Calif. : M. Kaufmann Publishers, c1987 746 p. ; 24 cm
子書誌情報:	loading…
所蔵情報:	loading…

図書

2. Logics and models of concurrent systems (: Germany ; : U.S.)

edited by Krzysztof R. Apt

出版情報:	Berlin ; Tokyo : Springer-Verlag, c1985 viii, 498 p. ; 25 cm
シリーズ名:	NATO ASI series ; ser. F . Computer and systems sciences ; v. 13
子書誌情報:	loading…
所蔵情報:	loading…

文献の複写および貸借の依頼を行う