Added entries :
AU ویراستار Walsh Toby , AU ویراستار Biere Armin , AU ویراستار Heule Marijn , AU ویراستار Maaren Hans Van
Subject :
Computer algorithms , Computer algorithms- Handbooks, manuals, etc , Computational comlexity- Handbooks, manuals, etc , Propositional calculus- Handbooks, manuals, etc
