MARC 닫기
00424nam ac200169 k 4500
000003569845
20220101120000
ta
010731s1984 US 000 eng
▼a 211070
▼c 211070
▼l WM0003019583
▼a Q335
▼a Q335
▼b T87
▼a LOGICS FOR ARTIFICIAL INTELLIGENCE/
▼d TURNER,RAYMOND
▼a CHICHESTER:
▼b ELLIS HORWOOD,
▼c 1984.
▼a 121p.
▼a TURNER,RAYMOND
▼a 단행본
| 자료유형 : | 단행본 |
|---|---|
| 분류기호 : | Q335 |
| 서명/저자사항 : | LOGICS FOR ARTIFICIAL INTELLIGENCE/ TURNER,RAYMOND |
| 발행사항 : | CHICHESTER: ELLIS HORWOOD, 1984. |
| 형태사항 : | 121p. |
| 개인저자 : | TURNER,RAYMOND |
| 언어 | 영어 |
WMO199920438
권 호 : 121
발행년 : 1984
서 명 : LOGICS FOR ARTIFICIAL INTELLIGENCE
발행처 : TURNER,RAYMOND
목차
1. MODALITY AND DYNAMIC LOGIC
2. 3-VALUED LOGICS AND THEIR COMPUTATIONAL INTERPRETATIONS
3. INTUITIONISTIC LOGIC
4. TOWARDS A SEMANTIC THEORY OF NON-MONOTONIC INTERENCE
5. REMPORAL LOGIC IN ARTIFICIAL INTELLIGENCE
6. FUZZY LOGIC AND EXPERT SYSTEMS
7. OTHER LOGICS AND FUTURE PROSPECTS
서평쓰기