Logic programming : proceedings of the 1991 international symposium

Logic programming : proceedings of the 1991 international symposium

フォーマット:

図書

責任表示:

edited by Vijay Saraswat and Kazunori Ueda

言語:

英語

出版情報:

Cambridge, Mass. : MIT Press, c1991

形態:

xviii, 740 p. ; 23 cm

著者名:

シリーズ名:

Logic programming <BA07047811>

書誌ID:

BA13354189

ISBN:

9780262691475 [0262691477]

子書誌情報

所蔵情報

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

書誌詳細

主題:	Logic programming--Congresses
分類・件名:	LCC : QA76.63 DDC : 005.1 LCSH : Logic programming -- Congresses
LCCN:	91029527
注記:	Papers presented at the 1991 International Logic Programming Symposium held in San Diego, U.S.A., from Oct. 28 to Nov. 1, 1991; sponsored by the Association for Logic Programming, in cooperation with the ACM, IEEE, and AAAI Includes bibliographical references and index
タイトル言語:	eng
著者名ヨミ:	ウエダ, カズノリ

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Logic programming : proceedings of the joint International Conference and Symposium on Logic Programming International Conference on Logic Programming, Apt, Krzysztof R., 1949-, Association for Logic Programming MIT Press	7 図書 Programming language implementation and logic programming : 6th International Symposium, PLILP '94, Madrid, Spain, September 14-16 1994 : proceedings International Symposium, PLILP, Hermenegildo, Manuel, Penjam, Jaan, 1955- Springer-Verlag
2 図書 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	8 図書 Programming language implementation and logic programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993 : proceedings International Symposium, PLILP, Bruynooghe, M. (Maurice), Penjam, Jaan, 1955- Springer-Verlag
3 図書 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	9 図書 Logic programming : proceedings of the Twelfth International Conference on Logic Programming Sterling, Leon MIT Press
4 図書 Programming languages : implementations, logics and programs : 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 : … International Symposium, PLILP, Hermenegildo, Manuel, Swierstra, S. Doaitse Springer-Verlag	10 図書 Logic programming : Proceedings of the eighth International Conference International Conference on Logic Programming, 古川, 康一(1942-) MIT Press
5 図書 Programming language implementation and logic programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991 : proceedings International Symposium, PLILP, Małuszyński, Jan, 1941-, Wirsing, M. (Martin) Springer-Verlag	11 図書 Logic programming : proceedings of the seventh international conference International Conference on Logic Programming, Warren, David H. D., Szeredi, Peter, 1949- MIT Press
6 図書 Programming language implementation and logic programming : 4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 : proceedings International Symposium, PLILP, Bruynooghe, M. (Maurice), Wirsing, M. (Martin) Springer-Verlag	12 図書 Logic programming : proceedings of the sixth international conference International Conference on Logic Programming, Levi, Giorgio, 1942-, Martelli, Maurizio MIT Press