>> Amazon.co.jp

Logic programming : proceedings of the joint International Conference and Symposium on Logic Programming

フォーマット:
図書
責任表示:
edited by Krzysztof Apt
言語:
英語
出版情報:
Cambridge, Mass. : MIT Press, c1992
形態:
xx, 848 p. : ill. ; 23 cm
著者名:
シリーズ名:
Logic programming <BA07047811>
書誌ID:
BA19259420
ISBN:
9780262510646 [0262510642]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

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

Apt, Krzysztof

MIT Press
7 図書 The Logic programming paradigm : a 25-year perspective

Apt, Krzysztof R., 1949-

Springer
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 &hellip;

MIT Press
8 図書 Meta-logics and logic programming

Apt, Krzysztof R., 1949-, Turini, Franco, 1949-

MIT Press
3 図書 Logic programming : proceedings of the 1994 international symposium

Bruynooghe, M. (Maurice), International Conference on Logic Programming, Association for Logic Programming

MIT
9 図書 Functional and logic programming : 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001 : proceedings

FLOPS, Kuchen, Herbert R., 1958-, 上田, 和紀(1956-)

Springer
4 図書 Logic programming : proceedings of the 1993 International Symposium

International Symposium on Logic Programming, Miller, Dale, Association for Logic Programming

MIT Press
10 図書 Algebraic and logic programming : 6th International Joint Conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings

Hanus, Michael, Heering, J, Meinke, K. (Karl), International Conference on Algebraic and Logic Programming, &hellip;

Springer-Verlag
5 図書 Logic programming : proceedings of the 1991 international symposium

International Symposium on Logic Programming, Saraswat, Vijay, Association for Logic Programming, 上田, 和紀(1956-)

MIT Press
11 図書 Logic programming : proceedings of the 1990 North American conference

Debray, Saumya, Hermenegildo, Manuel, North American Conference on Logic Programming, Association for Logic Programming

MIT Press
6 図書 Logic programming : proceedings of the seventh international conference

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

MIT Press
12 図書 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