모금 9월 15일 2024 – 10월 1일 2024
모금에 대해서
도서 검색
책
모금:
55.2% 도달
로그인
로그인
로그인한 사용자가 사용할 수 있는 것:
개인적 권고 사항
Telegram 봇
다운로드 기록
Email 혹은 Kindle로 전송하기
선택 목록 관리
즐겨찾기에 저장하기
개인
책 요청
연구
Z-Recommend
책 목록
가장 인기 있는
카테고리
참여
기부
업로드
Litera Library
종이책 기부하기
종이책 추가하기
Search paper books
나의 LITERA Point
핵심어 검색
Main
핵심어 검색
search
1
Cut elimination in categories
Springer
Došen
,
Kosta
arrow
adjunction
category
graph
arrows
equalities
elimination
categories
ϕa
functor
generated
comonad
deductive
morphism
graphs
equality
generative
function
disintegration
adjunctions
cuts
ϕ
εa
defined
degree
formulation
γc
functions
notions
rectangular
δc
systems
total
comonads
linked
equivalent
arrowless
consider
functors
proposition
define
composition
adjoint
triangular
unique
definitions
molecular
reductions
equal
corresponding
년:
2008
언어:
english
파일:
PDF, 1.19 MB
개인 태그:
0
/
0
english, 2008
2
Cut Elimination in Categories
Kluwer, Dordrecht
Kosta Došen
arrow
adjunction
category
arrows
graph
equalities
elimination
categories
functor
generated
comonad
deductive
morphism
graphs
equality
generative
function
disintegration
adjunctions
cuts
defined
degree
formulation
functions
notions
rectangular
systems
total
comonads
linked
equivalent
arrowless
consider
proposition
functors
define
composition
adjoint
triangular
definitions
unique
molecular
reductions
equal
corresponding
standard
formation
decision
cases
morphisms
년:
1999
언어:
english
파일:
PDF, 1.34 MB
개인 태그:
0
/
0
english, 1999
3
Cut elimination in categories
Kluwer Academic
Došen
,
Kosta
arrow
graph
category
adjunction
arrows
equalities
categories
elimination
functor
morphism
generated
comonad
deductive
graphs
adjunctions
equality
generative
function
cuts
disintegration
degree
comonads
defined
formulation
notions
functions
rectangular
systems
total
linked
functors
equivalent
consider
proposition
arrowless
composition
cp8
define
adjoint
unique
reductions
triangular
molecular
morphisms
definitions
equal
corresponding
formation
decision
standard
년:
1999
언어:
english
파일:
DJVU, 1.42 MB
개인 태그:
0
/
0
english, 1999
4
Cut Elimination in Categories
Kluwer, Dordrecht
Kosta Došen
arrow
graph
category
adjunction
arrows
equalities
categories
elimination
functor
morphism
generated
comonad
deductive
graphs
adjunctions
equality
generative
function
cuts
disintegration
degree
comonads
defined
formulation
notions
functions
rectangular
systems
total
linked
functors
equivalent
consider
proposition
arrowless
composition
cp8
define
adjoint
unique
reductions
triangular
molecular
morphisms
definitions
equal
corresponding
formation
decision
standard
년:
1999
언어:
english
파일:
DJVU, 1.42 MB
개인 태그:
0
/
0
english, 1999
1
이 링크로
이동하시거나 Telegram에서 "@BotFather" 봇을 찾으십시오
2
/newbot 명령을 발송하십시오
3
사용자님의 봇의 이름을 명시하십시오
4
봇의 사용자 이름을 명시하십시오
5
BotFather로부터 받으신 마지막 메시지를 복사하여 여기에 붙여넣기를 하십시오
×
×