静岡大学附属図書館 OPAC/myLibrary

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

フリーワード=DA02672462;

絞り込み条件

タイトル：

フルタイトル：

著者名：

出版者：

出版年：

ISBN / ISSN / 書誌ID / 資料ID：

主題：

請求記号：

配架場所：

言語：

選択:

検索結果: 4 件

図書

1. Logic programming and non-monotonic reasoning : proceedings of the first international workshop

edited by Anil Nerode, Wiktor Marek, and V.S. Subrahmanian

図書

2. Logic programming : proceedings of the 1991 international symposium

edited by Vijay Saraswat and Kazunori Ueda

図書

3. Logic programming : proceedings of the joint International Conference and Symposium on Logic Programming

edited by Krzysztof Apt

図書

4. Logic programming : proceedings of the fifth international conference and symposium (: set ; v. 1 ; v. 2)

edited by Robert A. Kowalski and Kenneth A. Bowen

出版情報:	Cambridge, Mass. : MIT Press, c1988
シリーズ名:	MIT Press series in logic programming
子書誌情報:	loading…
所蔵情報:	loading…