Proceedings [of the] 11th Annual IEEE Symposium on Logic in Computer Science, July 27-30, 1996, New Brunswick, New Jersey

>> Google Books

所蔵情報QRコード

Proceedings [of the] 11th Annual IEEE Symposium on Logic in Computer Science, July 27-30, 1996, New Brunswick, New Jersey / sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM Special Interest Group on Automata and Computability Theory, The Association for Symbolic Logic, The European Association for Theoretical Computer Science ; with support from AT & T Research Bell Laboratories - Lucent Technologies DIMACS, IBM Almaden Research Center

資料種別:

図書

出版情報:

Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1996

形態:

xv, 535 p. ; 28 cm

著者名:

ISBN:

9780818674631 [0818674636] (: soft)
9780780336544 [0780336542] (: case)
9780780336551 [0780336550] (: microfiche)

書誌ID:

BA28891104

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

その他の標題:	LICS'96 1996 IEEE 11th Annual Symposium on Logic in Computer Science 96CB35952
注記:	Includes bibliographies and index "IEEE Catalog Number 96CH35952"
言語:	英語

東工大ブックレビュー

類似資料:

1 電子ブック Proceedings of the 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Logic and Computation., Association … ACM Digital Library Proceedings, IEEE	7 図書 Proceedings of the Seventh Annual ACM Conference on Computational Learning Theory : COLT 94 : July 12th-15th, 1994, New Brunswick, New Jersey ACM Conference on Computational Learning Theory, ACM Special Interest Group for Automata and Computability Theory, … The Association for Computing Machinery
2 電子ブック Proceedings of the 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Logic and Computation., Association … IEEE Electronic Library (IEL) Conference Proceedings, IEEE	8 雑誌 Annual Symposium on Foundations of Computer Science Symposium on Foundations of Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of … IEEE Computer Society
3 電子ブック Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Algorithms and Computation Theory., … ACM Digital Library Proceedings, IEEE Computer Society	9 図書 International Symposium on Symbolic and Algebraic Computation 92, July 27-29, Berkeley, California International Symposium ISSAC, Association for Computing Machinery. Special Interest Group on Symbolic & Algebraic … Additional copies may be ordered prepaid from: ACM Order Department
4 図書 Proceedings : 44th Annual IEEE Symposium on Foundations of Computer Science : 11-14 October 2003, Cambridge, Massachusettes (: pbk) Symposium on Foundations of Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of … IEEE Computer Society	10 図書 Proceedings : the 43rd Annual IEEE Symposium on Foundations of Computer Science : Vancouver, BC, Canada 16-19 November 2002 Symposium on Foundations of Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of … IEEE Computer Society
5 図書 Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, June 29-July 2, 1997, Warsaw, Poland (: paper ; : case ; : microfiche) Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of … IEEE Computer Society Press	11 図書 Proceedings : 45th Annual IEEE Symposium on Foundations of Computer Science : 17-19 October 2004, Rome, Italy Symposium on Foundations of Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of … IEEE Computer Society
6 図書 Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, California, June 22-25, 1992 (: paper ; : case ; : microfiche) Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of … IEEE Computer Society Press	12 電子ブック Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Algorithms and Computation Theory., … ACM Digital Library Proceedings, IEEE Computer Society

1

2

3

4

5

6

7

8

9

10

11

12