本の検索
本
ドネーション
サインイン
サインイン
より多くの機能を利用するために
個人的なおすすめ
テレグラムボット
ダウンロード履歴
メールまたはKindleに送信する
ブックリストの管理
お気に入りに保存
個人用
本のリクエスト
探索
Z-おすすめ
ブックリスト
一番人気本
カテゴリー
貢献
ドネーション
アップロード
Litera Library
紙の本を寄付する
紙の本を追加する
Search paper books
私のLitera Point
キーワード検索
Main
キーワード検索
search
1
Structural Induction on Partial Algebras, II: Introduction to Theory and Application to Partial Algebras
De Gruyter
H. Reichel
partial
algebras
finite
axioms
homomorphism
specification
initial
sets
sorts
bool
theorem
target
equations
function
operators
oprn
nodes
abstract
elementary
operations
defined
existence
graph
edges
specifications
functions
sorted
tuple
define
directed
exists
implications
generated
v:g
signature
path
variables
algebraic
equoid
equal
fundamental
prove
equation
total
formal
homomorphlsm
implies
enrichments
corollary
false
年:
1985
言語:
german
ファイル:
PDF, 35.48 MB
あなたのタグ:
0
/
0
german, 1985
2
Initial Computability, Algebraic Specifications, and Partial Algebras
De Gruyter
Horst Reichel
algebras
partial
homomorphism
specification
initial
axioms
elementary
abstract
theorem
finite
existence
sorts
defined
equations
sets
bool
nodes
signature
function
implications
target
canons
generated
operators
sorted
operations
specifications
oprn
functions
stack
algebraic
define
variables
edges
implies
prove
behaviour
homomorphisms
behavioural
enrichment
morphism
exists
parameterized
corollary
equoid
graph
equation
implication
path
equal
年:
1988
言語:
german
ファイル:
PDF, 49.44 MB
あなたのタグ:
0
/
0
german, 1988
3
KAO,被潜了
un
nhn
neg
w0r
ǐ
ߍ
qeg
bُ
p4y
nǐ
v4y
00yy
n_n
b_n
00ُ
bɉ
b4y
ǐeg
t0r
nsy
oĉ
vkb
00n
viq
wُ
v:n
nbe
ɉ
n0r
nُ
_6q
aɉ
nlq
g6q
geg
vsy
n:n
onn
fُ
nmr
rkn
bޏ
v0r
v0w
w4y
ۏ
skb
w0w
bmb
nkb
7rp
ファイル:
TXT, 313 KB
あなたのタグ:
0
/
0
4
Fundamentals of Computer Vision
Shah M.
e53
5ky
6p9
ce5
5fc
6gh
dfe
_7
dkv
6ph
cev
6ce
2hk
05k
2h4
o19
p5k
3p2
fge
hi6ce
176c
jge
afp
5o1
jq3
5kl
hi68e
2h:g
dc1
w7g
afg
d5e
m5k
24v
5kv
7_
dkd
m2h
x3y
2h_
6g9
dc0
jhw
rfp
u1p
7o1
erfp
v:g
_5p
_se
年:
1997
言語:
english
ファイル:
PDF, 1.83 MB
あなたのタグ:
0
/
0
english, 1997
5
Fundamentals to Computer Vision
Shah M.
e53
5ky
6p9
ce5
5fc
6gh
dfe
_7
dkv
cev
6ce
6ph
2h4
2hk
05k
o19
p5k
3p2
hi6ce
176c
fge
afp
jq3
5o1
5kl
hi68e
jge
2h:g
dc1
afg
d5e
m5k
24v
5kv
7_
dkd
x3y
2h_
6g9
dc0
m2h
rfp
u1p
7o1
erfp
v:g
w7g
_5p
_se
ce1
年:
1992
言語:
english
ファイル:
PDF, 2.23 MB
あなたのタグ:
0
/
0
english, 1992
1
このリンク
にアクセスするか、またはTelegramで「@BotFather」というボットを探してください。
2
「/newbot」というコマンドを送信してください。
3
チャットボットの名前を指定してください。
4
ボットのユーザー名を選んでください。
5
BotFatherから最後のメッセージをコピーして、ここに貼り付けてください。
×
×