@BOOK{ Book!D - 72095899,
AUTHOR = "",
TITLE = "Computer science logic : 5th Workshop, CSL '91, Berne, Switzerland, October 1991 : proceedings",
LIBRARY= "كتابخانه مركزی دانشگاه صنعتی شریف",
SUBJECT = "، Computer science-- Congresses,، Logic, Symbolic and mathematical-- Congresses",
URL = "/book/72095899/Computer-science-logic-5th-Workshop-CSL-91-Be/"}