>> Google Books
Meta-logics and logic programming
フォーマット:
図書
責任表示:
edited by Krzysztof R. Apt and Franco Turini
言語:
英語
出版情報:
Cambridge, Mass. : MIT Press, c1995
形態:
xiv, 339 p. ; 24 cm
著者名:
シリーズ名:
Logic programming <BA07047811>
書誌ID:
BA26027210
ISBN:
9780262011525 [0262011522]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

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

Apt, Krzysztof R., 1949-

Springer

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

Clarendon Press, Oxford University Press

Apt, Krzysztof R., 1949-, Minker, Jack

M. Kaufmann Publishers

Apt, Krzysztof R., 1949-, Bakker, Jacobus Willem de, 1939-, Rutten, J. J. M. M.

MIT Press

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

MIT Press

Hehner, Eric C. R.

Prentice/Hall International

International Workshop on Logic Program Synthesis and Transformation, Fribourg, Laurent, 1957-, Turini, Franco, 1949-, &hellip;

Springer-Verlag

NATO Advanced Study Institute on Logics and Models of Concurrent Systems, Apt, Krzysztof R., 1949-, North Atlantic &hellip;

Springer-Verlag

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

Clarendon Press

Burke, Edmund, Ph. D., Foxley, Eric, 1937-

Prentice Hall

International Conference on Logic Programming, Apt, Krzysztof R., 1949-, Association for Logic Programming

MIT Press

Schöning, Uwe, 1955-

Birkhäuser