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

>> Google Books

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

フォーマット:

図書

責任表示:

edited by Krzysztof Apt

言語:

英語

出版情報:

Cambridge, Mass. : MIT Press, c1992

形態:

xx, 848 p. ; 23 cm

著者名:

シリーズ名:

Logic programming <BA07047811>

書誌ID:

BA19259420

ISBN:

9780262510646 [0262510642]

子書誌情報

所蔵情報

タイトルが類似している資料

書誌詳細

主題:	Logic programming--Congresses
分類・件名:	LCC : QA76.63 DDC : 006.3 LCSH : Logic programming -- Congresses
LCCN:	92061965
注記:	Includes bibliographical references and index
タイトル言語:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Logic programming : proceedings of the fifth international conference and symposium Kowalski, Robert, Bowen, Kenneth A., Association for Logic Programming, IEEE Computer Society, International Conference … MIT Press	7 図書 Logic programming : proceedings of the Twelfth International Conference on Logic Programming Sterling, Leon MIT Press
2 図書 Logic programming : proceedings of the 1991 international symposium International Symposium on Logic Programming, Saraswat, Vijay, Association for Logic Programming, 上田, 和紀(1956-) MIT Press	8 図書 Logic programming : Proceedings of the eighth International Conference International Conference on Logic Programming, 古川, 康一(1942-) MIT Press
3 図書 Logic programming : proceedings of the seventh international conference International Conference on Logic Programming, Warren, David H. D., Szeredi, Peter, 1949- MIT Press	9 図書 Logic programming : proceedings of the sixth international conference International Conference on Logic Programming, Levi, Giorgio, 1942-, Martelli, Maurizio MIT Press
4 図書 The Logic programming paradigm : a 25-year perspective Apt, Krzysztof R., 1949- Springer	10 図書 Logic programming : proceedings of the Fourth International Conference Lassez, Jean-Louis, International Conference on Logic Programming MIT Press
5 図書 Meta-logics and logic programming Apt, Krzysztof R., 1949-, Turini, Franco, 1949- MIT Press	11 図書 Logic programming and non-monotonic reasoning : proceedings of the first international workshop Nerode, Anil, 1932-, Marek, Wiktor, Subrahmanian, V. S., Association for Logic Programming MIT Press
6 図書 Foundations of deductive databases and logic programming Apt, Krzysztof R., 1949-, Minker, Jack M. Kaufmann Publishers	12 図書 Logic programming : proceedings of the 1996 Joint International Conference and Symposium on Logic Programming Maher, Michael, 1959- MIT Press