Proceedings : 1987 Symposium on Logic Programming, August 31-September 4, 1987, Hyatt on Union Square, San Francisco, California | 東京科学大学図書館　蔵書検索（大岡山図書館、すずかけ台図書館）

Blank Cover Image

所蔵情報QRコード

Proceedings : 1987 Symposium on Logic Programming, August 31-September 4, 1987, Hyatt on Union Square, San Francisco, California / sponsored by the Computer Society of the IEEE

資料種別:

図書

出版情報:

Washington, D.C. : IEEE Computer Society Press
Los Angeles, CA : Order from IEEE Computer Society, c1987

形態:

xii, 530 p. ; 28 cm

著者名:

書誌ID:

BA03854990

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

注記:	Includes bibliographical references and index
主題:	Logic programming--Congresses

ブックレビュー

Loading review information

類似資料:

1 図書 Proceedings : 1986 Symposium on Logic Programming, September 22-25, 1986, Westin Hotel Utah, Salt Lake City, Utah (: pbk. ; : microfiche ; : case) Symposium on Logic Programming, IEEE Computer Society IEEE Computer Society Press, Order from IEEE Computer Society	7 図書 Programming language implementation and logic programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993 : proceedings (: us ; : gw) International Symposium, PLILP, Bruynooghe, M. (Maurice), Penjam, Jaan, 1955- Springer-Verlag
2 図書 Programming language implementation and logic programming : 4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 : proceedings (: gw ; : us) International Symposium, PLILP, Bruynooghe, M. (Maurice), Wirsing, M. (Martin) Springer-Verlag	8 図書 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
3 図書 Algebraic and logic programming : Third International Conference, Volterra, Italy, September 2-4, 1992 : proceedings (: gw ; : us) Kirchner, Hélène, Levi, Giorgio, 1942-, International Conference on Algebraic and Logic Programming Springer-Verlag	9 図書 Programming language implementation and logic programming : 6th International Symposium, PLILP '94, Madrid, Spain, September 14-16 1994 : proceedings (: us ; : gw) International Symposium, PLILP, Hermenegildo, Manuel, Penjam, Jaan, 1955- Springer-Verlag
4 図書 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	10 図書 Functional and logic programming : 4th Fuji International Symposium, FLOPS '99, Tsukuba, Japan, November 11-13, 1999 : proceedings Fuji International Symposium on Functional and Logic Programming, Middeldorp, Aart, 1963-, 佐藤, 泰介 Springer
5 図書 Logic programming and nonmonotonic reasoning : 4th International Conference, LPNMR '97, Dagstuhl Castle, Germany, July 28-31, 1997 : proceedings LPNMR, Dix, J. (Jürgen), 1961-, Furbach, Ulrich, Nerode, Anil, 1932- Springer	11 図書 Society of Vacuum Coaters, Proceedings of the 31st Annual Technical Conference : Annual Technical Conference, 31, Hyatt on Union Square, San Francisco, … Annual Technical Conference, 31, Hyatt on Union Square, San Francisco, California, ,1988.5.2-6, American Vacuum Society
6 図書 Functional and logic programming : 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002 : proceedings Fuji International Symposium on Functional and Logic Programming, Hu, Zhenjiang, 1966-, Rodríguez Artalejo, M. (Mario) Springer	12 図書 Logic programming : proceedings of the 1993 International Symposium International Symposium on Logic Programming, Miller, Dale, Association for Logic Programming MIT Press

1

2

3

4

5

6

7

8

9

10

11

12