MARC 닫기
01148nam ac200313 k 4500
000000694442
20220619182647
ta
960917s1994 uk a 001a eng
▼a 0-19-853747-6:
▼c £60.00
▼a 248023
▼c 248023
▼d 111314
▼l EM122981
▼v 3
▼a 001.535
▼a 001.535
▼b G112h
▼c v.3
▼a Gabbay, Dov M.
▼a Handbook of logic in artificial intelligence and logic programming/
▼d by Dov M. Gabbay;
▼e C.J. Hogger;
▼e J.A. Robinson jt.
▼n vol. 3:
▼p nonmonotonic reasoning and uncertain reasoning.
▼a Oxford:
▼b Clarendon press,
▼c 1994.
▼a xix,529p.:
▼b illus.;
▼c 24cm.
▼a Handbooks of logic in computer science and artificial intelligence and logic programming
▼a Appendix : `proofs of results from section 3' ...etc.
▼a Includes index
▼a HANDBOOK
▼a LOGIC
▼a ARTIFICIAL
▼a INTELLIGENCE
▼a PROGRAMMING
▼a Hogger, C. J.,
▼e jt,
▼a Robinson, J. A.,
▼e jt,
▼p Nonmonotonic reasoning and uncertain reasoning
▼b \86400
▼a Artificial intelligence
▼a FUTURE
▼a 단행본
| 자료유형 : | 단행본 |
|---|---|
| ISBN : | 0-19-853747-6: |
| 분류기호 : | 001.535 |
| 개인저자 : | Gabbay, Dov M. |
| 서명/저자사항 : | Handbook of logic in artificial intelligence and logic programming/ by Dov M. Gabbay; C.J. Hogger; J.A. Robinson jt. vol. 3: nonmonotonic reasoning and uncertain reasoning. |
| 발행사항 : | Oxford: Clarendon press, 1994. |
| 형태사항 : | xix,529p.: illus.; 24cm. |
| 총서사항 : | Handbooks of logic in computer science and artificial intelligence and logic programming |
| 일반주기 : | Appendix : `proofs of results from section 3' ...etc. |
| 서지주기 : | Includes index |
| 개인저자 : | Hogger, C. J., jt, |
| 개인저자 : | Robinson, J. A., jt, |
| 언어 | 영어 |
(이기적) 정보처리기사 실기 기본서. 1-3
004.076 영78정실
(2026) 에듀윌 ADsP 데이터분석 준전문가 : 2주끝장
005.74076 윤55ㅇ
(2026 시나공) 프로그래밍기능사 필기 : 기본서
055.13076 길44ㅍ필
홍콩 : 천 가지 표정의 도시
081.1 살29ㅅ
Data centre essentials : design, construction, and operation of data centres for the non-expert
004.0684 F655d
차별하는 데이터 : 상관관계, 이웃, 새로운 인식의 정치
005.7 전66ㅊ김
AI 제국 권력, 자본, 노동
006.3 H252a임
서평쓰기