@BOOK{ Book!D - 72161737, AUTHOR = "", TITLE = "CSL '89: 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989: proceedings", LIBRARY= "كتابخانه مركزی دانشگاه صنعتی شریف", SUBJECT = "Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical", URL = "/book/72161737/CSL-89-3rd-Workshop-on-Computer-Science-Logic-K/"}