Logic programming : proceedings of the fifth international conference and symposium

>> Google Books

Logic programming : proceedings of the fifth international conference and symposium

フォーマット:

図書

責任表示:

edited by Robert A. Kowalski and Kenneth A. Bowen

言語:

英語

出版情報:

Cambridge, Mass. : MIT Press, c1988

形態:

2 v. (1690 p.) ; 23 cm

著者名:

Kowalski, Robert <DA0093253X>

Bowen, Kenneth A. <DA01276302>

Association for Logic Programming <DA02672462>

IEEE Computer Society <DA00479199>

International Conference on Logic Programming <DA00302258>

Symposium on Logic Programming <DA02314564>

続きを見る

シリーズ名:

MIT Press series in logic programming <BA00214201>

書誌ID:

BA04427066

ISBN:

9780262610568 [0262610566] (: set)

9780262610544 [026261054X] (v. 1)

9780262610551 [0262610558] (v. 2)

子書誌情報

所蔵情報

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

書誌詳細

主題:	Logic programming--Congresses
分類・件名:	LCC : QA76.6 DDC : 006.3 NDC8 : 007.64 LCSH : Logic programming -- Congresses
LCCN:	88013337
注記:	Papers presented at the joint meeting of the Fifth International Conference on Logic Programming and the Fifth Symposium on Logic Programming, sponsored by the Association for Logic Programming and the Computer Society of IEEE, held Aug. 15-19, 1988 at the University of Washington, Seattle Includes bibliographies 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 図書 Logic programming : proceedings of the Fourth International Conference Lassez, Jean-Louis, International Conference on Logic Programming 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 and non-monotonic reasoning : proceedings of the first international workshop Nerode, Anil, 1932-, Marek, Wiktor, Subrahmanian, V. S., Association for Logic Programming MIT Press
3 図書 Logic programming : proceedings of the Twelfth International Conference on Logic Programming Sterling, Leon MIT Press	9 図書 Algebraic and logic programming : 5th International Conference, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings International Conference on Algebraic and Logic Programming, Hanus, Michael, Rodríguez Artalejo, M. (Mario) Springer
4 図書 Logic programming : Proceedings of the eighth International Conference International Conference on Logic Programming, 古川, 康一(1942-) MIT Press	10 図書 Algebraic and logic programming : 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings International Conference on Algebraic and Logic Programming, Levi, Giorgio, 1942-, Rodríguez Artalejo, M. (Mario) Springer-Verlag
5 図書 Logic programming : proceedings of the seventh international conference International Conference on Logic Programming, Warren, David H. D., Szeredi, Peter, 1949- MIT Press	11 図書 Logic programming and automated reasoning : International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings LPAR, Voronkov, A. (Andreĭ), 1959- Springer-Verlag
6 図書 Logic programming : proceedings of the sixth international conference International Conference on Logic Programming, Levi, Giorgio, 1942-, Martelli, Maurizio MIT Press	12 図書 Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings International Conference on Algebraic and Logic Programming, Kirchner, Hélène, Wechler, Wolfgang, 1940- Springer-Verlag