HOME > 상세정보

상세정보

AI aspects in reasoning, languages, and computation

AI aspects in reasoning, languages, and computation

자료유형
단행본
개인저자
Grabowski, Adam. Loukanova, Roussanka. Schwarzweller, Christoph.
서명 / 저자사항
AI aspects in reasoning, languages, and computation / Adam Grabowski, Roussanka Loukanova, Christoph Schwarzweller, editors.
발행사항
Cham, Switzerland : Springer, 2020.
형태사항
viii, 105 p. ; 25 cm.
총서사항
Studies in computational intelligence,1860-949X ; volume 889
ISBN
9783030414245
서지주기
Includes bibliographical references and index.
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 도서상태 대출가능 반납예정일 예약 서비스 B M

컨텐츠정보

저자소개

Roussanka Loukanova(엮은이)

Adam Grabowski(엮은이)

Christoph Schwarzweller(엮은이)

정보제공 : Aladin

목차

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.

관련분야 신착자료

Taulli, Tom (2020)