募捐 9月15日2024 – 10月1日2024
关于筹款
书籍搜索
书
募捐:
18.3% 达到
登录
登录
访问更多功能
个人推荐
Telegram自动程序
下载历史
发送到电子邮件或 Kindle
管理书单
保存到收藏夹
个人的
书籍请求
探索
Z-Recommend
书单
最受欢迎
种类
贡献
捐款
上载
Litera Library
捐赠纸质书籍
添加纸质书籍
Search paper books
创建 LITERA Point
搜索关键词
Main
搜索关键词
search
1
Constraint Solving and Language Processing: 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers
Springer-Verlag Berlin Heidelberg
Leonor Becerra-Bonache
,
Veronica Dahl (auth.)
,
Denys Duchier
,
Yannick Parmentier (eds.)
constraint
constraints
semantic
different
coordination
lλar
category
context
recursion
syntactic
linguistic
computational
cases
grammars
lexical
predicative
reference
first
method
categories
examples
parsing
function
relative
sentence
acquisition
analysis
approach
interpretation
ype
figure
node
variables
ontology
constructions
descriptions
specific
adp
framework
map
utterance
linguistics
probabilistic
timeshift
consider
features
incremental
complex
render
chr
年:
2013
语言:
english
文件:
PDF, 2.23 MB
您的标签:
0
/
0
english, 2013
2
Proofs and Types
Cambridge University Press
Jean-Yves Girard
,
Yves Lafont
,
Paul Taylor
function
linear
coherence
calculus
deduction
functions
reducible
stable
theorem
λx
sequent
induction
normalisation
elimination
πx
reducibility
finite
interpretation
define
λy
logical
variables
spaces
universal
conversion
formula
tokens
a00
integers
lemma
product
bool
total
denotation
domains
degree
proofs
consider
defined
abstraction
intuitionistic
atomic
cases
conversions
obtained
isomorphism
hypotheses
λxu
denotational
syntax
年:
2003
语言:
english
文件:
PDF, 843 KB
您的标签:
0
/
0
english, 2003
1
按照
此链接
或在 Telegram 上找到“@BotFather”机器人
2
发送 /newbot 命令
3
为您的聊天机器人指定一个名称
4
为机器人选择一个用户名
5
从 BotFather 复制完整的最后一条消息并将其粘贴到此处
×
×