عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.3542
QA
76
.
L28
Vol
.
3542
کتابخانه
محل استقرار
Theory and applications of satisfiability testing : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004 : revised selected papers
2004 : Vancouver, B.C.
Berlin
Springer-Verlag
2005
xiii, 392 p.: ill
Lecture notes in computer science; 2453
Includes bibliographies
ISBN: 354027829X
Holger H. Hoos, David G. Mitchell )eds.(
1
Congresses ، Propositional calculus
Congresses ، Computer algorithms
Congresses ، Decision making
QA
76
.
L28
Vol
.
3542
AU
AU Hoos, Holger H.
AU Mitchell, David G., 1957-
TI
SE
SAT
