@BOOK{ Book!D - 72161731,
AUTHOR = "",
TITLE = "COLOG-88: International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988: proceedings",
LIBRARY= "كتابخانه مركزی دانشگاه صنعتی شریف",
SUBJECT = "Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical",
URL = "/book/72161731/COLOG88-International-Conference-on-Computer-Log/"}