募捐 9月15日2024 – 10月1日2024
关于筹款
书籍搜索
书
募捐:
22.4% 达到
登录
登录
访问更多功能
个人推荐
Telegram自动程序
下载历史
发送到电子邮件或 Kindle
管理书单
保存到收藏夹
个人的
书籍请求
探索
Z-Recommend
书单
最受欢迎
种类
贡献
捐款
上载
Litera Library
捐赠纸质书籍
添加纸质书籍
Search paper books
创建 LITERA Point
搜索关键词
Main
搜索关键词
search
1
Mathematical Aspects of Artificial Intelligence: American Mathematical Society Short Course January 8-9, 1996 Orlando, Florida
Amer Mathematical Society
Frederick Hoffman
,
American Mathematical Society (ed.)
figure
event
search
constraints
precedes
probability
situations
ordering
theorem
axiom
mathematical
temporal
algorithm
axioms
statement
proposition
rewrite
variables
intelligence
refines
equalities
systems
constraint
artificial
programming
reasoning
refinement
equality
linear
chess
moves
implies
vision
mathematics
allows
ply
suppose
automated
projection
interval
lassez
exists
fourier
sets
finite
path
editor
completion
depth
elimination
年:
1998
语言:
english
文件:
DJVU, 3.63 MB
您的标签:
0
/
0
english, 1998
2
Constraint Logic Programming: Selected Research
The MIT Press
Frédéric Benhamou
,
Alain Colmerauer
constraint
constraints
variables
boolean
algorithm
programming
clp
linear
prolog
finite
solution
solving
solved
pseudo
equations
chip
function
systems
algorithms
computation
theorem
arithmetic
unification
values
rational
formula
clause
query
fixed
domains
clauses
goal
redundant
solutions
solve
defined
algebraic
consider
implementation
backtracking
polynomial
redundancy
equivalent
assignment
satisfiable
method
interval
standard
contains
propagation
年:
1993
语言:
english
文件:
DJVU, 5.29 MB
您的标签:
0
/
0
english, 1993
3
300 facons de cuisiner les pâtes
Artemis
Collectif
eau
ajoutez
coupez
salée
sauce
cure
servez
cuire
plat
fartes
versez
mélangez
sez
laissez
ooe
lasagnes
tomates
olive
faites
béchamel
crème
pates
couche
paquet
dés
bouillante
chaud
beurre
casserole
poivre
huile
mettez
poêle
hachez
lavez
paies
pelez
tomate
déposez
rates
reau
saupoudrez
cuisson
assaisonnez
pales
recouvrez
aputez
lanières
enfournez
parmesan
年:
2013
语言:
french
文件:
PDF, 14.41 MB
您的标签:
1.0
/
1.0
french, 2013
1
按照
此链接
或在 Telegram 上找到“@BotFather”机器人
2
发送 /newbot 命令
3
为您的聊天机器人指定一个名称
4
为机器人选择一个用户名
5
从 BotFather 复制完整的最后一条消息并将其粘贴到此处
×
×