Yazar
Serge Gaspers
2 cilt bulundu.
Cilt sonuçları
Theory and Applications of Satisfiability Testing – SAT 2017
Serge Gaspers, Toby Walsh · Springer
489 sayfa · 2017
Calculus / Algebra, boolean / Computer algorithms / Decision making
Yükleniyor
Yükleniyor
Yazar
2 cilt bulundu.
Serge Gaspers, Toby Walsh · Springer
489 sayfa · 2017
Calculus / Algebra, boolean / Computer algorithms / Decision making