大拱桥--暨南大学学生门户 » 图书馆 » (分类号：TP301-53/E991)(共10本)

Proceedings, 15th annual Symposium on Logic in Computer Science [electronic resource] : June 26-28, 2000, Santa Barbara, California

0
索取号：TP301-53/E991/15
作者：Symposium on Logic in Computer Science (15th : 2000 : Santa Barbara、 Calif.)、IEEE Xplore (Online service)、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、
出版社：Los Alamitos, Calif. : IEEE Computer Society, c2000.

Proceedings, the Sixth Annual IEEE Symposium on Logic in Computer Science [electronic resource] : July 15-18, 1991, Amsterdam, the Netherlands

0
索取号：TP301-53/E991/6
作者：Symposium on Logic in Computer Science (6th : 1991 : Amsterdam、 Netherlands)、IEEE Xplore (Online service).、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、
出版社：Los Alamitos, Calif. : IEEE Computer Society Press, c1991.

Proceedings

0
索取号：TP301-53/E991/1986
作者：Symposium on Logic in Computer Science (1986 : Cambridge、 Mass.)、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、ACM Special Interest Group for Automata and Computability Theory.、Association for Symbolic Logic.、European Association for Theoretical Computer Science.、
出版社：Washington, D.C. : IEEE Computer Society Press ; Los Angeles, CA : Order from IEEE Computer Society, 1986.

Proceedings: 20th annual IEEE symposium onlogic in computer science ,LICS 2005, Chicago, Illinois, 26-29 June 2005

0
索取号：TP301-53/E991/20
作者：IEEE Symposium on Logic in Computer Science (20th : 2005 : Turku、 Finland)、IEEE Technical Committee on Mathematical Foundations of Computing.、Academy of Finland、 City of Turku、 Finnish Academy of Sciences and Letters.、Finnish Cultural Foundation、 University of Turku、 Finnair、 Fujitsu-Siemens Computer.、IEEE Technical Committee on Mathematical Foundations of Computing 17th July、2002、
出版社：Los Alamitos, Calif. : IEEE Computer Society, c2004.

Proceedings of the 19th annual IEEE symposium onlogic in computer science : Turku, Finland, 13-17July 2004

0
索取号：TP301-53/E991/19
作者：IEEE Symposium on Logic in Computer Science (19th : 2004 : Turku、 Finland)、IEEE Technical Committee on Mathematical Foundations of Computing.、Academy of Finland、 City of Turku、 Finnish Academy of Sciences and Letters.、Finnish Cultural Foundation、 University of Turku、 Finnair、 Fujitsu-Siemens Computer.、IEEE Technical Committee on Mathematical Foundations of Computing 17th July、2002、
出版社：Los Alamitos, Calif. : IEEE Computer Society, c2004.

Proceedings : 18th Annual IEEE Symposium on Logic in Computer Science : 22-25 June 2003, Ottawa, Canada

0
索取号：TP301-53/E991/18
作者：Symposium on Logic in Computer Science (18th : 2003 : Ottawa、 Canada)、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、
出版社：Los Alamitos, Calif. : IEEE Computer Society, c2003.

Logic in computer science [electronic resource] : proceedings : 17th Annual IEEE Symposium on Logic in Computer Science : held in conjunction with the Third Federated Logic Conference : 22-25 July, 2002, Copenhagen, Denmark

0
索取号：TP301-53/E991/17
作者：Symposium on Logic in Computer Science (17th : 2002 : Copenhagen、 Denmark)、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、IEEE Xplore (Online service)、Federated Logic Conference (3rd : 2002 : Copenhagen、 Denmark)、
出版社：Los Alamitos, Calif. : IEEE Computer Society, c2002.

14th Symposium on Logic in Computer Science : proceedings : July 2-5, 1999, Trento, Italy

0
索取号：TP301-53/E991/14
作者：Symposium on Logic in Computer Science (14th : 1999 : Trento、 Italy)、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、
出版社：Los Alamitos, Calif : IEEE Computer Society Press, c1999.

Logic in computer science [electronic resource] : proceedings : Thirteenth Annual IEEE Symposium on Logic in Computer Science : June 21-24, 1998, Indianapolis, Indiana

0
索取号：TP301-53/E991/13
作者：Symposium on Logic in Computer Science (13th : 1998 : Indianapolis、 Ind.)、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、Indiana University、 Bloomington.、IEEE Xplore (Online service)、
出版社：Los Alamitos, California : IEEE Computer Society Press, c1998.

Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, June 29 - July 2, 1997, Warsaw Poland

0
索取号：TP301-53/E991/12
作者：Symposium on Logic in Computer Science (12th : 1997 : Warsaw、 Poland)、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、
出版社：Los Alamitos, Calif : IEEE Computer Society Press, c1997.