عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
ebl20223977
eng
SAT 2019 :--Theory and applications of satisfiability testing
:SAT 2019 ;
Springer,
, 2019.
e
Computer algorithms ; Congresses. ;
Janota, Mikol????????, ;
old catalog
