عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.2919
QA
76
.
L28
Vol
.
2919
کتابخانه
محل استقرار
Theory and applications of satisfiability testing : 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers
Enrico Giunchiglia, Armando Tacchella )eds.(
2003 : Santa Margherita Ligure, Italy
Berlin
Springer-Verlag
c2004
xi, 530 p.: ill
Lecture notes in computer science; 9192
Includes bibliographies
ISBN: 3540208518
1
Congresses ، Propositional calculus
Congresses ، Decision making
Congresses ، Computer algorithms
QA
76
.
L28
Vol
.
2919
AU
AU Giunchiglia, Enrico
AU Tacchella, Armando
TI
SE
SAT
