>> Google Books
所蔵情報QRコード

Foundations of deductive databases and logic programming / contributors, Krzysztof R. Apt ... [et al.] ; edited by Jack Minker

資料種別:
図書
出版情報:
Los Altos, Calif. : M. Kaufmann Publishers, c1987
形態:
746 p. ; 24 cm
著者名:
ISBN:
9780934613408 [0934613400]
書誌ID:
BA0392532X
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Recent advances in constraints : joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, …

CSCLP, Apt, Krzysztof R., 1949-

Springer
7 図書 Interactive relational database design : a logic programming implementation (: gw ; : us)

Bagchi, Tapan P., Chaudhri, Vinay K.

Springer-Verlag
2 図書 Foundations of logic programming (U.S. ; Berlin)

Lloyd, J. W. (John Wylie), 1947-

Springer-Verlag
8 図書 Verification of sequential and concurrent programs

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

Springer
3 図書 Foundations of equational logic programming (: gw ; : us)

Hölldobler, Steffen, 1957-

Springer-Verlag
9 図書 Logic programming

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

Academic Press
4 図書 Foundations of logic programming (: us ; : gw)

Lloyd, J. W. (John Wylie), 1947-

Springer-Verlag
10 図書 From logic to logic programming

Doets, Kees

MIT Press
5 図書 LOGIDATA+ : deductive databases with complex objects (: us ; : gw)

Atzeni, Paolo

Springer-Verlag
11 図書 Reasoning with logic programming

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

Springer
6 図書 Meta-level control for deductive database systems (: gw ; : us)

Schmidt, Helmut, 1962-

Springer-Verlag
12 図書 Logic programming and its applications

Warren, David H. D., Van Caneghem, Michel

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