Blank Cover Image
このページのQRコード

Logic programming

種類:
図書
出版情報:
Cambridge, Mass. : MIT Press
注記:
Continued:MIT Press in logic programming
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料
1. Logic programming
edited by Dov M. Gabbay, C.J. Hogger and J.A. Robinson , Clarendon Press , 1998
2. Logic programming : proceedings of the 1996 Joint International Conference and Symposium on Logic Programming
edited by Michael Maher , MIT Press , 1996
3. Logic programming : proceedings of the 1995 International Symposium
edited by John Lloyd , MIT Press , 1995
4. Logic programming : proceedings of the eleventh International Conference on Logic Programming
edited by Pascal Van Hentenryck , MIT Press , 1994

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Logic programming

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

Clarendon Press
7 図書 MIT Press series in logic programming

MIT Press
2 図書 From logic to logic programming

Doets, Kees

MIT Press
8 図書 Foundations of logic programming

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

Springer-Verlag
3 図書 Meta-logics and logic programming

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

MIT Press
9 図書 Axiomatising the logic of computer programming

Goldblatt, Robert, 1949-

Springer-Verlag
4 図書 Temporal logic of programs

Kröger, Fred, 1945-

Springer-Verlag
10 図書 Studies in automatic programming logic

Manna, Zohar, Waldinger, Richard

North-Holland
5 図書 Equational logic as a programming language

O'Donnell, Michael J.

MIT Press
11 図書 Foundations of equational logic programming

Hölldobler, Steffen, 1957-

Springer-Verlag
6 図書 Logic programming and its applications

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

Ablex Publishing
12 図書 Termination proofs for logic programs

Plümer, Lutz, 1951-

Springer-Verlag