عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
ebl202221835
eng
SAT 2021 :--Theory and applications of satisfiability testing
:9, 2021, Proceedings /-24th International Conference, Barcelona, Spain, July 5
Springer,
, 2021.
e
Computer algorithms ; Congresses. ;
L?, ??h??? Min, ;
old catalog
