@BOOK{ Book!D - 100990569,
AUTHOR = "/ Sponsored by IEEE Technical Committee on Mathematical Foundations of Computing with support from Academy of Finland...[et al.]",
TITLE = "Proceedings of the 19th annual IEEE Symposium on Logic in Computer Science, LICS 2004, Turku, Finland, 13-17 July 2004",
LIBRARY= "كتابخانه پردیس علوم (دانشگاه تهران)",
SUBJECT = "Computer science -- Mathematics -- Congresses,Logic, Symbolic and mathematical -- Congresses",
URL = "/book/100990569/Proceedings-of-the-19th-annual-IEEE-Symposium-on-L/"}