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, |
| 언어 | 영어 |
바이브 코딩 혁명이 온다 : AI 에이전트와 제로 코드 소사이어티의 탄생
005.133 김73ㅂ
(맥스 테그마크의) 라이프 3.0 : 인공지능이 열어갈 인류와 생명의 미래
006.301 T261ㄹ백
(2025) SQLD 모든 것 : #SQLD 14일 합격
005.7585 아68s
인문의 재발견
001.3 안73ㅇ
서평쓰기