Blank Cover Image
 ↑ タイトル、所在を表示

Logic programming : proceedings of the 1991 international symposium

フォーマット:
図書
責任表示:
edited by Vijay Saraswat and Kazunori Ueda
出版情報:
Cambridge, Mass. : MIT Press, c1991
形態:
xviii, 740 p. : ill. ; 23 cm
ISBN:
9780262691475 [0262691477]  CiNii Books  Webcat Plus  Google Books
シリーズ名:
Logic programming <BA07047811>
著者名:
書誌ID:
BA13354189
注記:
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
子書誌情報
Loading
所蔵情報
Loading availability information

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 

Kowalski, Robert, Bowen, Kenneth A., Association for Logic Programming, IEEE Computer Society, International Conference &hellip;

MIT Press

International Workshop PLILP, Deransart, Pierre, 1945-, Lorho, Bernard, Małuszyński, Jan, 1941-

Springer-Verlag

Nerode, Anil, 1932-, Marek, Wiktor, Subrahmanian, V. S., Association for Logic Programming

MIT Press

Symposium on Logic Programming, IEEE Computer Society

IEEE Computer Society Press, Order from IEEE Computer Society

International Conference on Logic Programming, Warren, David S.

MIT Press

Schroeder-Heister, Peter Joseph, 1953-, International Workshop on Extensions of Logic Programming

Springer-Verlag

International Conference on Logic Programming, Levi, Giorgio, 1942-, Martelli, Maurizio

MIT Press

10 図書 記号の世界

中島, 秀之(1952-), 上田, 和紀(1956-)

岩波書店

International Conference on Logic Programming, Warren, David H. D., Szeredi, Peter, 1949-

MIT Press

International Conference on Logic Programming, 古川, 康一(1942-)

MIT Press

NATO Advanced Study Institute on Logic, Algebra, and Computation, Bauer, Friedrich Ludwig, 1924-

Springer-Verlag