MARC 닫기
01081nam 2200277 k 4500
000000665199
2051130121000
960917s1994 uk a 001a eng
▼a 0-19-853747-6:
▼c £60.00
▼a 248023
▼c 248023
▼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 단행본
▼a 001.535
▼b G112h
| 자료유형 : | 단행본 |
|---|---|
| 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, |
| 분류기호 : | 001.535 |
| 언어 | 영어 |
(이게 되네?) 클로드 MCP 커넥터 미친 활용법 31제
006.3 박94ㅋ
엄마 독서모임의 질문들 : 우리는 묻고 답할수록 깊어진다
029.83 강828ㅇ
세컨드 브레인은 옵시디언 : with 클로드 코드
005.58 시435ㅅㅋ
옵시디언 프로페셔널 노트 : 플러그인과 AI로 확장하는 지식 관리 워크폴로
005.58 구265ㅇ
(월간) 국방대
070 국384ㄱ
서평쓰기