Micro-PROLOG : programming in logic

QRコード(所蔵情報)

フォーマット:

図書

責任表示:

K.L. Clark and F.G. McCabe ; with contributions by M.H. van Emden ... [et al.]

言語:

英語

出版情報:

Englewood Cliffs, N.J. : Prentice/Hall International, c1984

形態:

xi, 401 p. : ill. ; 23 cm

著者名:

シリーズ名:

書誌ID:

BA00731917

ISBN:

9780135812648 [013581264X] (: pbk)

子書誌情報

所蔵情報

タイトル・著者・出版者が同じ資料

詳細

主題:	Micro-PROLOG (Computer program language)
分類・件名:	LCC : QA76.73.M5 DDC : 001.64/2 LCSH : Micro-PROLOG (Computer program language)
LCCN:	83016066
注記:	Includes index
TTLL:	eng

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Logic programming Clark, K. L. (Keith L.), Tärnlund, S.-A. (Sten-Åke), International Workshop on Logic Programming Academic Press	7 電子ブック Logic Programming and Automated Reasoning LPAR (Conference), Pfenning, Frank Springer Berlin Heidelberg
2 図書 Logic programming with Prolog Bramer, M. A. (Max A.), 1948- Springer	8 図書 Introduction to logic Gamut, L. T. F. University of Chicago Press
3 電子ブック Logic Programming with Prolog Bramer, Max Springer London	9 電子ブック Micro and smart systems : technology and modeling Ananthasuresh, G. K. John Wiley & Sons
4 図書 Programming in Prolog Clocksin, W. F. (William F.), 1955-, Mellish, C. S. (Christopher S.), 1954- Springer-Verlag	10 電子ブック Micro and Smart Systems: Technology and Modeling G. K. Ananthasuresh ワイリー・パブリッシング・ジャパン／ワイリー・ブラックウェル
5 図書 Handbook of logic and language Benthem, J. F. A. K. van, 1949-, Meulen, Alice G. B. ter Elsevier	11 図書 Essays in biochemistry Campbell, P. N. (Peter Nelson), Greville, G. D. (Guy Drummond), Biochemical Society (Great Britain), Marshall, R. D., … Academic Press
6 電子ブック Materials Reliability Division FY 2004 programs and accomplishments Clark, A. F. U.S. Dept. of Commerce, National Institute of Standards and Technology	12 図書 Modulation and mediation of cancer by vitamins Meyskens, F. L. (Frank L.), Prasad, K. N Karger