Logic programming : proceedings of the 1990 North American conference

>> Google Books

Logic programming : proceedings of the 1990 North American conference

フォーマット:

図書

責任表示:

edited by Saumya Debray and Manuel Hermenegildo

言語:

英語

出版情報:

Cambridge, Mass : MIT Press, c1990

形態:

xviii, 848 p. ; 23 cm

著者名:

シリーズ名:

Logic programming <BA07047811>

書誌ID:

BA11441420

ISBN:

9780262540582 [0262540584] (: pbk.)

子書誌情報

所蔵情報

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

詳細

主題:	Logic programming--Congresses
分類・件名:	LCC : QA76.63 DDC : 006.3 LCSH : Logic programming -- Congresses
LCCN:	90013352
注記:	Papers presented at the 1990 North American Conference on Logic Programming held in Austin, Texas, Oct. 29 - Nov. 1, 1990; sponsored by the Association of Logic Programming, in collaboration with the IEEE Computer Society, ACM, and ESPRIT Includes bibliographical references and index
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Logic programming : proceedings of the North American Conference, 1989 Lusk, Ewing L., Overbeek, Ross A., North American Conference on Logic Programming MIT Press	7 図書 Logic programming : proceedings of the 1993 International Symposium International Symposium on Logic Programming, Miller, Dale, Association for Logic Programming MIT Press
2 図書 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	8 図書 Logic programming : Proceedings of the Tenth International Conference on Logic Programming International Conference on Logic Programming, Warren, David S. MIT Press
3 図書 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	9 図書 Logic programming : proceedings of the 1991 international symposium International Symposium on Logic Programming, Saraswat, Vijay, Association for Logic Programming, 上田, 和紀(1956-) MIT Press
4 図書 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	10 図書 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
5 図書 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	11 図書 Logic programming : Proceedings of the eighth International Conference International Conference on Logic Programming, 古川, 康一(1942-) MIT Press
6 図書 Logic programming : proceedings of the 1994 international symposium Bruynooghe, M. (Maurice), International Conference on Logic Programming, Association for Logic Programming MIT	12 図書 Logic programming : proceedings of the seventh international conference International Conference on Logic Programming, Warren, David H. D., Szeredi, Peter, 1949- MIT Press