募捐 9月15日2024 – 10月1日2024
关于筹款
书籍搜索
书
募捐:
18.2% 达到
登录
登录
访问更多功能
个人推荐
Telegram自动程序
下载历史
发送到电子邮件或 Kindle
管理书单
保存到收藏夹
个人的
书籍请求
探索
Z-Recommend
书单
最受欢迎
种类
贡献
捐款
上载
Litera Library
捐赠纸质书籍
添加纸质书籍
Search paper books
创建 LITERA Point
搜索关键词
Main
搜索关键词
search
1
Techniques of PROLOG Programming: with Implementation of Logical Negation and Quantified Goals [program disk]
John Wiley
T.Van Le
transword
predicate
goal
trans_word
append
clause
query
vl1
assert
fail
supply
next_corners
prove_branch
vs1
consult
display_goal
builtin
queries
prolog
write_list
tab
constsymbol
tmove
path
args
_agent
setof
write_word
figure
_item
var_list
extract_symbols
collect_var
anspath
print_goal
convert_atom
retract
sample
select
reverse
failproof
univ_quantify
convert
collect_vars
vs2
abolish
adams
coord
a:b
prove
年:
1993
语言:
english
文件:
RAR, 92 KB
您的标签:
0
/
0
english, 1993
1
按照
此链接
或在 Telegram 上找到“@BotFather”机器人
2
发送 /newbot 命令
3
为您的聊天机器人指定一个名称
4
为机器人选择一个用户名
5
从 BotFather 复制完整的最后一条消息并将其粘贴到此处
×
×