| 000 | 00000cam u2200205 a 4500 | |
| 001 | 000045918540 | |
| 005 | 20171024133916 | |
| 008 | 171024s1990 gw a b 100 0 eng d | |
| 010 | ▼a 90010276 | |
| 020 | ▼a 3540530827 (Springer-Verlag Berlin Heidelberg New York : acid free paper) : ▼c DM42.00 | |
| 020 | ▼a 0387530827 (Springer-Verlag New York Berlin Heidelberg : acid-free paper) | |
| 035 | ▼a (KERIS)REF000016635893 | |
| 040 | ▼a DLC ▼c DLC ▼d DLC ▼d 211009 | |
| 050 | 0 0 | ▼a QA76.9.N38 ▼b I57 1990 |
| 082 | 0 0 | ▼a 006.3/5 ▼2 23 |
| 084 | ▼a 006.35 ▼2 DDCK | |
| 090 | ▼a 006.35 ▼b N2853 | |
| 245 | 0 0 | ▼a Natural language and logic : ▼b International Scientific Symposium, Hamburg, FRG, May 9-11, 1989 / ▼c R. Studer, ed. |
| 260 | ▼a Berlin ; ▼a New York : ▼b Springer-Verlag, ▼c c1990. | |
| 300 | ▼a 252 p. : ▼b ill. ; ▼c 24 cm. | |
| 490 | 1 | ▼a Lecture notes in computer science ; ▼v 459. ▼a Lecture notes in artificial intelligence |
| 504 | ▼a Includes bibliographical references. | |
| 650 | 0 | ▼a Natural language processing (Computer science) ▼x Congresses. |
| 650 | 0 | ▼a Logic, Symbolic and mathematical ▼x Congresses. |
| 700 | 1 | ▼a Studer, Rudi. |
| 711 | 2 | ▼a International Scientific Symposium ▼d (1989 : ▼c Hamburg, Germany). |
| 830 | 0 | ▼a Lecture notes in computer science ; ▼v 459. |
| 830 | 0 | ▼a Lecture notes in computer science. ▼p Lecture notes in artificial intelligence. |
| 945 | ▼a KLPA |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 중앙도서관/서고6층/ | 청구기호 006.35 N2853 | 등록번호 111780650 | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
컨텐츠정보
목차
Treatment of anaphoric problems in referentially opaque contexts.- Knowledge processing in the LILOG project from the first to the second prototype.- Indexicality and representation.- Contextualization and de-contextualization.- Computational semantics: Steps towards "intelligent" text processing.- Propositional and depictorial representations of spatial knowledge: The case of path-concepts.- Slot Grammar.- On the logical structure of comparatives.- Aspects of consistency of sophisticated knowledge representation languages.- Unification based machine translation.- Perspectives in multiple-valued logic.- Properties and actions.- Rationale and methods for abductive reasoning in natural-language interpretation.
정보제공 :
