عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.3569
QA
76
.
L28
Vol
.
3569
کتابخانه
محل استقرار
Theory and applications of satisfiability testing : 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : proceedings
Fahiem Bacchus, Toby Walsh )eds.(
2005 : St. Andrews, Scotland
Berlin
Springer-Verlag
2005
xii, 492 p.: ill
Lecture notes in computer science; 9653
Includes bibliographies
ISBN: 3540262768
1
Congresses ، Propositional calculus
Congresses ، Decision making
Congresses ، Computer algorithms
QA
76
.
L28
Vol
.
3569
NO
AU
AU Bacchus, Fahiem
AU Walsh, Toby
TI
SE
SAT
