寄付 2024年9月15日 – 2024年10月1日
募金について
本の検索
本
寄付:
71.6% 完了
サインイン
サインイン
より多くの機能を利用するために
個人的なおすすめ
テレグラムボット
ダウンロード履歴
メールまたはKindleに送信する
ブックリストの管理
お気に入りに保存
個人用
本のリクエスト
探索
Z-おすすめ
ブックリスト
一番人気本
カテゴリー
貢献
ドネーション
アップロード
Litera Library
紙の本を寄付する
紙の本を追加する
Search paper books
私のLitera Point
キーワード検索
Main
キーワード検索
search
1
Categories for Types (Cambridge Mathematical Textbooks)
Cambridge University Press
Roy L. Crole
a
the
of
x
is
and
c
that
we
in
to
f
for
g
i
m
h
d
an
b
by
t
which
y
category
are
n
be
v
theory
then
type
given
if
set
u
e
this
th
where
1
as
with
s
let
j
r
function
p
o
年:
1994
言語:
english
ファイル:
PDF, 3.58 MB
あなたのタグ:
0
/
5.0
english, 1994
2
Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics, Series Number 7)
Cambridge University Press
J. Lambek
,
P. J. Scott
a
the
of
is
and
in
that
to
we
x
f
for
by
b
1
if
as
are
type
an
p
c
g
0
be
s
t
this
it
with
category
2
closed
n
then
such
i
all
proof
theory
h
which
l
categories
topos
arrow
on
u
m
cartesian
年:
1988
言語:
english
ファイル:
PDF, 1.75 MB
あなたのタグ:
0
/
5.0
english, 1988
3
现代生态学讲座(IV):理论与实践
高等教育出版社
邬建国、杨劼 主编
and
the
of
in
n
to
a
湿
al
et
植
2
退
1
on
is
15
for
3
species
牧
4
壤
that
with
耕
恢
菌
2007
be
2006
soil
are
or
by
from
as
ecosystem
2002
c
2005
2004
plant
wetland
5
am
ecology
ⅳ
营
估
年:
2009
言語:
chinese
ファイル:
PDF, 19.04 MB
あなたのタグ:
0
/
0
chinese, 2009
4
李肖飞. 《从休谟出发》英汉笔译报告:哲学类文本中长句的处理[D].浙江工商大学,2018.
李肖飞. 《从休谟出发》英汉笔译报告:哲学类文本中长句的处理[D].浙江工商大学
,
2018.
the
of
and
in
to
is
a
that
his
谟
translation
are
as
text
we
he
this
with
be
哲
was
long
it
source
1
sentences
hume
not
can
equivalence
for
by
target
philosophy
an
philosophical
more
our
on
natural
which
also
chinese
into
sentence
from
about
readers
translating
have
言語:
chinese
ファイル:
PDF, 2.48 MB
あなたのタグ:
0
/
5.0
chinese
5
ACT核心词汇
上海:上海交通大学出版社
周叠,程旭,宋杰,曹文主编
n
a
the
or
to
of
v
adj
in
s
sth
and
l
t
k
for
m
that
etc
is
with
d
核
act
i
by
r
words
1
an
p
4
2
b
3
7
5
6
ri
he
8
be
on
reading
not
sb
9
was
as
10
年:
2015
言語:
chinese
ファイル:
PDF, 8.36 MB
あなたのタグ:
0
/
0
chinese, 2015
6
罗特. 高性能汉语依存句法分析方法的研究[D].北京交通大学,2017.
罗特. 高性能汉语依存句法分析方法的研究[D].北京交通大学
,
2017.
析
库
征
1
2
3
the
迭
of
dependency
监
督
练
训
c
4
parsing
索
测
for
归
a
j
and
融
computational
on
频
互
优
m
chinese
nn
s
l
language
宾
in
弧
搜
针
shift
w
网
框
签
natural
歧
b
conference
ファイル:
PDF, 3.48 MB
あなたのタグ:
0
/
0
7
蔡景晟. 统计机器翻译中源语言语句调序方法的研究[D].北京交通大学,2015.
蔡景晟. 统计机器翻译中源语言语句调序方法的研究[D].北京交通大学
,
2015.
析
the
of
1
for
2
测
subt
and
3
computational
in
linguistics
齐
i
l
is
association
介
练
训
t
a
c
4
proceedings
含
6
bleu
j
reordering
dependency
translation
0
7
chinese
on
vp
do
machine
y
based
berkeley
language
pos
stanford
x
绍
fig
5
年:
2015
言語:
chinese
ファイル:
PDF, 5.03 MB
あなたのタグ:
0
/
4.0
chinese, 2015
8
刘江鸣. 融合日语格语法的层次短语统计机器翻译研究[D].北京交通大学,2015.
刘江鸣. 融合日语格语法的层次短语统计机器翻译研究[D].北京交通大学
,
2015.
框
1
2
3
chunk
for
齐
c
4
the
析
l
translation
and
of
码
串
computational
j
a
s
t
bleu
linguistics
case
m
machine
on
5
征
6
in
库
描
proceedings
7
p
介
练
绍
x
优
训
based
hierarchical
索
r
搜
d
i
ファイル:
PDF, 2.16 MB
あなたのタグ:
0
/
0
9
中国第四次人口普查的主要数据
Unknown
of
population
and
the
1
co
mmunique
state
statis
in
录
登
15
1990
7
household
附
1989
2
3
6
ation
by
cities
family
growth
major
natural
popul
populat
s
status
total
划
占
拥
析
辖
页
0
10
100,000
11.15
12
13
14
16
17.1990
18
2nd
ファイル:
PDF, 3.20 MB
あなたのタグ:
0
/
0
10
民族学研究 第8辑
Unknown
the
of
and
in
on
a
s
society
ethnological
system
t
奴
略
an
family
general
he
into
problems
state
姻
宏
杨
浅
济
遗
颇
8
about
account
ancient
brief
chief
development
e
from
human
marriage
nationality
natural
president
primitive
researches
scientific
social
to
view
which
伊
佑
ファイル:
PDF, 13.98 MB
あなたのタグ:
0
/
0
11
中国海图符号识别指南
中国人民解放军海军司令部航海保证部编制
航
录
附
annex
1
2
3
4
features
the
灯
170700004681
20
terms
域
廓
控
汐
碍
磁
礁
符
索
缩
船
陆
障
雾
页
10
11
11795633
12
13
14
15
16
17
18
19
2006
5
6
7
70332c4b5771d3b
8
9
97f20e4970a84ec8e
andtheir
areas
言語:
chinese
ファイル:
PDF, 2.97 MB
あなたのタグ:
0
/
0
chinese
1
このリンク
にアクセスするか、またはTelegramで「@BotFather」というボットを探してください。
2
「/newbot」というコマンドを送信してください。
3
チャットボットの名前を指定してください。
4
ボットのユーザー名を選んでください。
5
BotFatherから最後のメッセージをコピーして、ここに貼り付けてください。
×
×