@BOOK{ Book!D - 72136690, AUTHOR = "", TITLE = "Constructivity in computer science : summer symposium, San Antonio, TX, June 19-22, 1991, proceedings", LIBRARY= "كتابخانه مركزی دانشگاه صنعتی شریف", SUBJECT = "، Computer science-- Mathematics-- Congresses", URL = "/book/72136690/Constructivity-in-computer-science-summer-sympos/"}