>> Google Books

The Logic programming paradigm : a 25-year perspective

フォーマット:
図書
責任表示:
K.R. Apt ... [et al.] (Eds.)
言語:
英語
出版情報:
Berlin ; New York : Springer, c1999
形態:
xvi, 456 p. ; 24 cm
著者名:
Apt, Krzysztof R., 1949- <DA01234517>  
シリーズ名:
Artificial intelligence <BA14044981>
書誌ID:
BA41798759
ISBN:
9783540654636 [3540654631] (: hardcover : alk. pap)  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Meta-logics and logic programming

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

MIT Press
7 図書 From logic to logic programming

Doets, Kees

MIT Press
2 図書 Logic programming : Proceedings of the Joint International Conference and Symposium on Logic Programming

Apt, Krzysztof

MIT Press
8 図書 Meta-programming in logic programming

Abramson, Harvey, Rogers, M. H., 1930-

MIT Press
3 図書 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
9 図書 Reasoning with logic programming

Alferes, José Júlio, Pereira, Luís Moniz

Springer
4 図書 Verification of sequential and concurrent programs

Apt, Krzysztof R., 1949-, Olderog, E.-R.

Springer
10 図書 Parallel logic programming

Tick, Evan, 1959-

MIT Press
5 図書 Logic programming

Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan)

Clarendon Press
11 図書 Constraint satisfaction in logic programming

Van Hentenryck, Pascal

MIT Press
6 図書 Logic programming

Clark, K. L. (Keith L.), Tärnlund, S.-A. (Sten-Åke), International Workshop on Logic Programming

Academic Press
12 図書 Logic programming and databases

Ceri, Stefano, 1955-, Gottlob, G., Tanca, L.

Springer-Verlag