عنوان
پدید آورنده
موضوع
رده
QA9.3 .S38 1997
QA9
.
3
.
S38
1997
کتابخانه
محل استقرار
0821804790
IR
EB16122
انگلیسی
IR
Satisfiability problem
[Electronic Resource]
:theory and applications : DIMACS workshop, March 11-13, 1996
/ Dingzhu Du, Jun Gu, Panos M. Pardalos, editors
Providence, R.I.
: American Mathematical Society,
, c1997.
xv, 724 p. ill. 26 cm.
(DIMACS series in discrete mathematics and theoretical computer science, 1052-1798
; v. 35)
"NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science. A consortium of Rutgers University, Princeton University, AT&T Labs, Bell Labs, and Bellcore."
e
ng
Includes bibliographical references.
Propositional calculus- Congresses
Decision making- Congresses
Computer algorithms- Congresses
Computer science- Congresses
511
.
3
QA9
.
3
.
S38
1997
Du, Dingzhu
Gu, Jun,1956-
Pardalos, P. M.(Panos M.),1954-
NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science
ایران
0821804790.djvu
محرمانه
محرمانه
0821804790.djvu
0
متن
old catalog
e
BL
1
a
Y
