Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, California, June 22-25, 1992

このページのQRコード

Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, California, June 22-25, 1992

種類:

図書

責任表示:

sponsored by IEEE Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM SIGACT, Association for Symbolic Logic, European Association for Theoretical Computer Science

出版情報:

Los Alamitos, CA. ; Tokyo : IEEE Computer Society Press, c1992

著者名:

ISBN:

9780818627354 [0818627352] (: paper)

9780818627378 [0818627379] (: case)

9780818627361 [0818627360] (: microfiche)

注記:

Includes bibliographies and index
'IEEE Catalog Number 91CH3025-4.'

所蔵情報

子書誌情報

タイトルが類似している資料

詳細

その他の標題:	1992 IEEE 7th Annual Symposium on Logic in Computer Science 92CH31278
主題:	Electronic data processing--Congresses; Electronic digital computers--Programming--Congresses
分類・件名:	NDC7 : 549.92 LCSH : Electronic data processing -- Congresses LCSH : Electronic digital computers -- Programming -- Congresses
TTLL:	eng
言語:	英語
形態:	xiii, 471 p. : ill. ; 28 cm
書誌ID:	BA18262000

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Proceedings of the Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal, Canada, June 19-23, 1993 Symposium on Logic in Computer Science (8th : 1993 : Montreal, Canada), IEEE Computer Society. Technical Committee on … IEEE Computer Society Press	7 図書 STACS 89 : 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989 : proceedings Symposium on Theoretical Aspects of Computer Science, Monien, Burkhard, Cori, Robert Springer-Verlag
2 図書 Proceedings, 18th Annual IEEE Symposium on Logic in Computer Science, 22-25 June 2003, Ottawa, Canada Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of … IEEE Computer Society	8 図書 STACS 84 : Symposium of Theoretical Aspects of Computer Science, Paris [April] 11-13, 1984 / sponsored by AFCET (Association Francaise pour la Cybernétique … Symposium on Theoretical Aspects of Computer Science, Fontet, M. (Max), Mehlhorn, Kurt, 1949-, Association française … Springer-Verlag
3 図書 Proceedings : 4th Symposium on Computer Arithmetic, October 25-27, 1978, Santa Monica, California Symposium on Computer Arithmetic IEEE Computer Society	9 図書 Proceedings : 35th Annual Symposium on Foundations of Computer Science, November 20-22, 1994, Santa Fe, New Mexico Symposium on Foundations of Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of … IEEE Computer Society Press
4 図書 Foundations of software technology and theoretical computer science : Seventh Conference, Pune, India, December 17-19, 1987, proceedings Conference on Foundations of Software Technology and Theoretical Computer Science, Nori, Kesav V. Springer-Verlag	10 図書 Proceedings, 17th Annual IEEE Symposium on Logic in Computer Science, 22-25 July 2002 Copenhagen, Denmark, held in conjunction with the Third Federated Logic … Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of … IEEE Computer Society
5 図書 Logic at Botik '89 : Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings International Symposium on Logical Foundations of Computer Science, Meyer, Albert R., Taitslin, M. A. (Michael A.) Springer-Verlag	11 図書 Foundations of software technology and theoretical computer science : fifth conference, New Delhi, India, December 16-18, 1985 : proceedings Conference on Foundations of Software Technology and Theoretical Computer Science, Maheshwari, S. N., Indian Institute … Springer-Verlag
6 図書 STACS 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13, 1988 : proceedings Symposium on Theoretical Aspects of Computer Science, Cori, Robert, Wirsing, M. (Martin) Springer-Verlag	12 図書 Logical foundations of computer science--Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 : proceedings International Symposium on Logical Foundations of Computer Science, Nerode, Anil, 1932-, Taitslin, M. A. (Mikhail A.), … Springer-Verlag