著者典拠情報

著者標目形：
Symposium on Logic in Computer Science
属性：
Meeting
場所：
Ithaca, N.Y.;Edinburgh;Pacific Grove, Calif.;Philadelphia;Amsterdam;Santa Cruz, Calif.;Montreal;Turku;
日付：
1987;1988;1989;1990;1991;1992;1993;2004;
から見よ参照形：
LICS
IEEE Symposium on Logic in Computer Science
注記：
Its (1986 : Cambridge, Mass.). Proceedings, 1986: t.p. (Symposium on Logic in Computer Science, Cambridge, Massachusetts, June 16-18, 1986)
Its (2nd : 1987 : Ithaca, N.Y.) Proceedings, c1987: t.p. (Symposium on Logic in Computer Science, Ithaca, New York, June 22-25, 1987) p. iii (second annual conference)
Its (3rd : 7/5-8/88 : Edinburgh) Proceedings, c1988
Its (4th : 1989 : Pacific Grove, Calif.) Proceedings, c1989
Its (5th : 6/4-7/90 : Philadelphia) Proceedings, c1990
Its (6th : 7/15-18/91 : Amsterdam) Proceedings, c1991
Its (7th : 6/22-25/92 : Santa Cruz, Calif.) Proceedings, c1992
Its (8th : 6/19-23/93 : Montreal, Canada) Proceedings, c1993
著者典拠ID：
DA01987694


1.

図書
図書
1. Proceedings, 18th Annual IEEE Symposium on Logic in Computer Science, 22-25 June 2003, Ottawa, Canada
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association for Symbolic Logic, European Association for Theoretical Computer Science ; with support from Fields Institute for Research in Mathematical Sciences, Le Centre de Recherches Mathématiques, University of Ottawa
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2003
所蔵情報: 図書館
2.

図書
図書
2. Proceedings, 17th Annual IEEE Symposium on Logic in Computer Science, 22-25 July 2002 Copenhagen, Denmark, held in conjunction with the Third Federated Logic Conference
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association of Symbolic Lofic European Association for Theoretical Computer Science ; with support from US Office of Naval Research International Field Office, European Office of Aerospace Research and Development of the US Air Force Office of Scientific Research
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2002
所蔵情報: 図書館
3.

図書
図書
3. Proceedings, 16th Annual IEEE Symposium on Logic in Computer Science, 16-19 June 2001・Boston, Massachusetts
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2001
所蔵情報: 図書館
4.

図書
図書
4. Proceedings, 14th Symposium on Logic in Computer Science, July 2-5, 1999, Trento, Italy (: case ; : soft)
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c1999
所蔵情報: 図書館
5.

図書
図書
5. Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, June 29-July 2, 1997, Warsaw, Poland (: paper ; : case ; : microfiche)
organized by Warsaw University ; sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with The Special Interest Group on Automata and Computability Theory of the Association for Computing Machinery, The Association for Symbolic Logic, The European Association for Theoretical Computer Science ; with support from BRICS, University of Aarhus ... [et. al]
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1997
所蔵情報: 図書館