| 000 | 00000nam u2200205 a 4500 | |
| 001 | 000046061507 | |
| 005 | 20201228112132 | |
| 008 | 201222s2020 sz b 101 0 eng d | |
| 020 | ▼a 9783030414245 | |
| 040 | ▼a 211009 ▼c 211009 ▼d 211009 | |
| 082 | 0 4 | ▼a 006.3 ▼2 23 |
| 084 | ▼a 006.3 ▼2 DDCK | |
| 090 | ▼a 006.3 ▼b A2882 | |
| 245 | 0 0 | ▼a AI aspects in reasoning, languages, and computation / ▼c Adam Grabowski, Roussanka Loukanova, Christoph Schwarzweller, editors. |
| 260 | ▼a Cham, Switzerland : ▼b Springer, ▼c 2020. | |
| 300 | ▼a viii, 105 p. ; ▼c 25 cm. | |
| 490 | 1 | ▼a Studies in computational intelligence, ▼x 1860-949X ; ▼v volume 889 |
| 504 | ▼a Includes bibliographical references and index. | |
| 700 | 1 | ▼a Grabowski, Adam. |
| 700 | 1 | ▼a Loukanova, Roussanka. |
| 700 | 1 | ▼a Schwarzweller, Christoph. |
| 711 | 2 | ▼a Advances in artificial intelligence and applications (Symposium) ▼n (14th : ▼d 2019 : ▼c Leipzig, Germany). |
| 830 | 0 | ▼a Studies in computational intelligence ; ▼v volume 889. |
| 945 | ▼a KLPA |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 중앙도서관/서고6층/ | 청구기호 006.3 A2882 | 등록번호 111840672 | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
컨텐츠정보
저자소개
Roussanka Loukanova(엮은이)
Adam Grabowski(엮은이)
Christoph Schwarzweller(엮은이)
목차
Type-Theory of Acyclic Algorithms for Models of Consecutive Binding of Functional Neuro-Receptors.- Refining Algebraic Hierarchy in Mathematical Repository of Mizar.- Extending Formal Topology in Mizar by Uniform Spaces.