募捐 9月15日2024 – 10月1日2024
关于筹款
书籍搜索
书
募捐:
58.4% 达到
登录
登录
访问更多功能
个人推荐
Telegram自动程序
下载历史
发送到电子邮件或 Kindle
管理书单
保存到收藏夹
个人的
书籍请求
探索
Z-Recommend
书单
最受欢迎
种类
贡献
捐款
上载
Litera Library
捐赠纸质书籍
添加纸质书籍
Search paper books
我的 LITERA Point
搜索关键词
Main
搜索关键词
search
1
Representation and inference for natural language, (program code)
Blackburn P.
,
Bos J.
formula
bb1
app
axiom
version
combine
gnu
lexentry
syntax
readings
warranty
info
memberlist
use_module
lexicalknowledge
infix
satisfy
sentence
curtupdate
prefix
blackburn
patrick
theorem
engine
modify
vincent
details
redistribute
num:sg
implied
option
published
boston
fitness
merchantability
temple
curt
nnf
november
inf:fin
numbervars
branch
compose
cnf
output
semlex
write_term
domainsize
printrepresentations
models
语言:
english
文件:
GZ, 47 KB
您的标签:
0
/
0
english
2
Representation and inference for natural language, (program code)
Blackburn P.
,
Bos J.
drs
lexentry
syntax
axiom
bb2
version
gnu
alfa
app
num:sg
lexicalknowledge
discourse
warranty
merge
num:pl
formula
use_module
combine
inf:fin
rank
semlex
blackburn
memberlist
sem:lam
patrick
num:num
numbervars
sentence
curtupdate
info
modify
mergedrs
details
redistribute
sym
write_term
implied
inf:inf
option
published
boston
findalfadrs
fitness
functor
merchantability
tab
temple
drs2fol
november
symbol:sym
语言:
english
文件:
GZ, 34 KB
您的标签:
0
/
0
english
3
Prolog: The Standard: Reference Manual
Springer-Verlag Berlin Heidelberg
Dr. Pierre Deransart
,
Dr. AbdelAli Ed-Dbali
,
Dr. Laurent Cervoni (auth.)
error
succeeds
substitution
prolog
built
input
current
output
atom
predicates
defined
implementation
standard
fails
goal
integer
char
examples
predicate
alias
mickey
execution
cases
clause
stream_or_alias
database
dcg
syntax
byte
binary
dependent
options
functor
flag
insect
variables
arithmetic
undefined
type_error
processor
clauses
instantiation
unifiable
priority
argument
assume
fail
quoted
sink
false
年:
1996
语言:
english
文件:
DJVU, 1.93 MB
您的标签:
0
/
0
english, 1996
1
按照
此链接
或在 Telegram 上找到“@BotFather”机器人
2
发送 /newbot 命令
3
为您的聊天机器人指定一个名称
4
为机器人选择一个用户名
5
从 BotFather 复制完整的最后一条消息并将其粘贴到此处
×
×