Allen Van Gelder

Allen Van Gelder

1 ספרים במאגר

ספרים

Theory and applications of satisfiability teasting - SAT 2013Allen Van Gelder

Theory and applications of satisfiability teasting - SAT 2013

Allen Van Gelder · 2013

ספרים משותפים ואוספים

ספרים שבהם Allen Van Gelder מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Computer algorithmsSara Baase

Computer algorithms

Sara Baase · 1999