@BOOK{ Book!D - 101387325,
AUTHOR = "sponsored by IEEE Computer Society Technical Committee on the Mathematical Foundations of Computing; in cooperation with Association for Symbolic Logic and European Association for Theoretical Computer Science; with support from Kestrel Institute,...",
TITLE = "Proceedings : 15th annual Symposium on Logic in Computer Science, June 26-28, 2000, Santa Barbara, California",
LIBRARY= "کتابخانه پژوهشگاه دانشهای بنیادی",
SUBJECT = "Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical",
URL = "/book/101387325/Proceedings-15th-annual-Symposium-on-Logic-in-Co/"}