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

Foundations of equational logic programming

フォーマット:
図書
責任表示:
Steffen Hölldobler
言語:
英語
出版情報:
Berlin ; Tokyo : Springer-Verlag, c1989
形態:
x, 250 p. : ill. ; 25 cm
著者名:
Hölldobler, Steffen, 1957- <DA0373507X>  
シリーズ名:
Lecture notes in computer science ; 353 . Lecture notes in artificial intelligence <BA00009279>
書誌ID:
BA07516537
ISBN:
9783540515333 [354051533X] (: gw)  CiNii Books  Webcat Plus  Google Books
9780387515335 [038751533X] (: us)  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトル・著者・出版者が同じ資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Foundations of Equational Logic Programming

Hölldobler

Springer Berlin Heidelberg
7 電子ブック Foundations of Logic and Functional Programming

Boscarol

Springer Berlin Heidelberg
2 図書 Logic programming

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

Academic Press
8 電子ブック Foundations of Inductive Logic Programming

Nienhuys-Cheng, Shan-Hwei, De Wolf, Ronald

Springer Berlin Heidelberg
3 図書 Logic programming with Prolog

Bramer, M. A. (Max A.), 1948-

Springer
9 図書 Fril, fuzzy and evidential reasoning in artificial intelligence

Baldwin, J. F. (James Frederick), 1938-, Martin, T. P., Pilsworth, B. W.

Research Studies Press, Wiley
4 図書 Handbook of logic in artificial intelligence and logic programming

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

Clarendon Press, Oxford University Press
10 図書 Nonmonotonic reasoning and uncertain reasoning

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

Clarendon Press, Oxford University Press
5 電子ブック Intellectics and Computational Logic

Gabbay, Dov M.; Barwise, John; Hölldobler, Steffen, Hölldobler, Steffen

Springer Netherlands
11 電子ブック KI-96: Advances in Artificial Intelligence

German Conference on Artificial Intelligence, Görz, Günther, Hölldobler, Steffen

Springer Berlin Heidelberg
6 図書 Logical foundations

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

Clarendon Press, Oxford University Press
12 図書 Foundations of illocutionary logic

Searle, John R., 1932-, Vanderveken, Daniel

Cambridge University Press