Търсене на термини

  • Main
  • Търсене на термини
5
Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences AISC 2002 and Calculemus 2002 Marseille, France, July 1–5, 2002 Proceedings

Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences AISC 2002 and Calculemus 2002 Marseille, France, July 1–5, 2002 Proceedings

Eugene C. Freuder (auth.), Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker Sorge (eds.)
variables
function
theorem
systems
first
symbolic
constraint
reasoning
algorithm
context
graph
definition
ϕ
constraints
mathematical
formula
interval
approach
functions
method
computation
rewriting
step
values
linear
algorithms
clam
conjectures
different
proofs
programming
maple
automated
defined
equations
input
search
tolerance
unification
equation
substitution
exists
induction
sets
solution
springer
contains
contexts
trees
boolean
Година:
2002
Език:
english
Файл:
PDF, 4.25 MB
0 / 0
english, 2002
6
Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences AISC 2002 and Calculemus 2002 Marseille, France, July 1–5, 2002 Proceedings

Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences AISC 2002 and Calculemus 2002 Marseille, France, July 1–5, 2002 Proceedings

Eugene C. Freuder (auth.), Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker Sorge (eds.)
variables
function
theorem
systems
first
symbolic
constraint
reasoning
algorithm
context
graph
definition
ϕ
constraints
mathematical
formula
interval
approach
functions
method
computation
rewriting
step
values
linear
algorithms
clam
conjectures
different
proofs
programming
maple
automated
defined
equations
input
search
tolerance
unification
equation
substitution
exists
induction
sets
solution
springer
contains
contexts
trees
boolean
Година:
2002
Език:
english
Файл:
PDF, 2.58 MB
0 / 0
english, 2002
10
参数计算导论

参数计算导论

Pdg2Pic, 王建新，冯启龙著
packing
edge
sts
vertex
ncd
agh
ffe
glv
ors
al_cf
2sat
bbe
bes
sce
v.e
wear
bie
ghey
sfe
arr
cence
fea
rea
sbe
wcnf
wcs
Година:
2014
Език:
Chinese
Файл:
PDF, 54.38 MB
0 / 0
Chinese, 2014