@BOOK{ Book!D - 72169336,
AUTHOR = "Kroening, Daniel.",
TITLE = "Decision procedures: an algorithmic point of view",
LIBRARY= "كتابخانه مركزی دانشگاه صنعتی شریف",
SUBJECT = "، Turing machines,، Computational complexity",
URL = "/book/72169336/Decision-procedures-an-algorithmic-point-of-view/"}