Yazar
karem a sakallah
3 cilt bulundu.
Cilt sonuçları
Theory and Applications of Satisfiability Testing - SAT 2011
Karem A. Sakallah · Springer-Verlag GmbH Berlin Heidelberg
Sayfa sayısı yok · 2011
Logic design / Computer science / Artificial intelligence / Computer software / Computer algorithms
