MARC 닫기
00000cam c2200205 c 4500
000000525570
20190125162009
ta
180904s2018 ulka 001c kor
▼a 9788964213285
▼g 93000:
▼c 25000
▼a (KERIS)BIB000014791543
▼a 211047
▼c 211047
▼d 211047
▼a kor
▼h eng
▼a 005.13/3
▼2 20
▼a Clocksin, W. F.
▼q (William F.),
▼d 1955-
▼a 인공지능 논리 prolog 프로그래밍/
▼d W. F. Clocksin,
▼e C. S. Mellish 지음 ;
▼e 배재학 옮김.
▼a Programming in Prolog
▼g (5th ed.)
▼a 서울:
▼b 한티미디어,
▼c 2018.
▼a xvii, 441 p.:
▼b 삽화;
▼c 23 cm.
▼a 색인수록
▼a Appendix: A. 선별 문제 해답 -- B. 절 형식 변환 프로그램 -- C. 고이식성 표준 프로그램 작성. 외
▼a Prolog (Computer program language)
▼a Mellish, C. S.
▼q (Christopher S.),
▼d 1954-
▼a 배재학
▼t Programming in Prolog.
▼b 5th ed.
▼d Berlin ; [New York] : Springer-Verlag, 2003.,
▼z [3540006788 (alk. paper)]
▼a 인공지능 논리 프롤로그 프로그래밍
▼a 김자옥
▼a 단행본
▼a 005.133
▼b 클233ㅇ(5)
| 자료유형 : | 단행본 |
|---|---|
| ISBN : | 9788964213285 |
| 개인저자 : | Clocksin, W. F. (William F.), 1955- |
| 서명/저자사항 : | 인공지능 논리 prolog 프로그래밍/ W. F. Clocksin, C. S. Mellish 지음 ; 배재학 옮김. |
| 원서명 : | Programming in Prolog |
| 발행사항 : | 서울: 한티미디어, 2018. |
| 형태사항 : | xvii, 441 p.: 삽화; 23 cm. |
| 일반주기 : | 색인수록 |
| 일반주기 : | Appendix: A. 선별 문제 해답 -- B. 절 형식 변환 프로그램 -- C. 고이식성 표준 프로그램 작성. 외 |
| 일반주제명 : | Prolog (Computer program language) -- |
| 개인저자 : | Mellish, C. S. (Christopher S.), 1954- |
| 개인저자 : | 배재학 |
| 원저저록 : | Programming in Prolog. 5th ed. Berlin ; [New York] : Springer-Verlag, 2003., [3540006788 (alk. paper)] |
| 분류기호 : | 005.133 |
| 언어 | 한국어 |
서평쓰기