Category Theory and Computer Science : Paris, France, September 3–6, 1991 Proceedings

>> Amazon.co.jp

このページのQRコード

Category Theory and Computer Science : Paris, France, September 3–6, 1991 Proceedings

種類:

電子ブック

責任表示:

edited by David H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew M. Pitts, Axel Poigné, David E. Rydeheard

出版情報:

Berlin, Heidelberg : Springer-Verlag, 1991

著者名:

SpringerLink (Online service)

続きを見る

シリーズ名:

Lecture Notes in Computer Science ; 530

ISBN:

9783540384137 [3540384138]

ローカル注記:

学内専用E-BOOKS (local access only)

オンライン

http://dx.doi.org/10.1007/BFb0013452

所蔵情報

子書誌情報

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

詳細

主題:	Computer Science; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Mathematical Logic and Foundations; Programming Languages, Compilers, Interpreters; Software Engineering
分類・件名:	LCSH : Computer science LCSH : Software engineering LCSH : Logic design LCSH : Logic, Symbolic and mathematical FREE : Computer Science FREE : Logics and Meanings of Programs FREE : Mathematical Logic and Formal Languages FREE : Programming Languages, Compilers, Interpreters FREE : Software Engineering FREE : Mathematical Logic and Foundations
TTLL:	eng
言語:	英語
形態:	v.: digital
書誌ID:	KB00006118

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Category Theory and Computer Science : Manchester, UK, September 5–8, 1989 Proceedings Pitt, David H., Rydeheard, David E., Dybjer, Peter, Pitts, Andrew M., Poigné, Axel, SpringerLink (Online service) Springer-Verlag	7 電子ブック Mathematical Foundations of Computer Science 1991 : 16th International Symposium Kazimierz Dolny, Poland, September 9–13, 1991 Proceedings Tarlecki, Andrzej, SpringerLink (Online service) Springer-Verlag
2 電子ブック Category Theory and Computer Science : 6th International Conference, CTCS '95 Cambridge, United Kingdom, August 7–11, 1995 Proceedings Pitt, David, Rydeheard, David E., Johnstone, Peter, SpringerLink (Online service) Springer-Verlag	8 電子ブック Mathematical Foundations of Computer Science 1995 : 20th International Symposium, MFCS '95 Prague, Czech Republic, August 28–September 1, 1995 Proceedings Wiedermann, Jiří, Hájek, Petr, SpringerLink (Online service) Springer-Verlag
3 電子ブック Category Theory and Computer Science : Paris, France, September 3-6, 1991. Proceedings Pitt, David H., Curien, Pierre-Louis., Abramsky, Samson., Pitts, Andrew., Poigne, Axel., Rydeheard, David E., … Springer Berlin Heidelberg : Imprint: Springer	9 電子ブック Static Analysis : Third International Symposium, SAS '96 Aachen, Germany, September 24–26, 1996 Proceedings Cousot, Radhia, Schmidt, David A., SpringerLink (Online service) Springer-Verlag
4 電子ブック Category Theory and Computer Science : Edinburgh, U.K., September 7–9, 1987 Proceedings Pitt, David H., Poigné, Axel, Rydeheard, David E., SpringerLink (Online service) Springer-Verlag	10 電子ブック Logic at Botik '89 : Symposium on Logical Foundations of Computer Science Pereslavl-Zalessky, USSR, July 3–8, 1989 Proceedings Meyer, Albert R., Taitslin, Michael A., SpringerLink (Online service) Springer-Verlag
5 電子ブック Category Theory and Computer Programming : Tutorial and Workshop, Guildford, U.K. September 16–20, 1985 Proceedings Pitt, David, Abramsky, Samson, Poigné, Axel, Rydeheard, David, SpringerLink (Online service) Springer-Verlag	11 電子ブック Types for Proofs and Programs : International Workshop TYPES '94 Båstad, Sweden, June 6–10, 1994 Selected Papers Dybjer, Peter, Nordström, Bengt, Smith, Jan, SpringerLink (Online service) Springer-Verlag
6 電子ブック Category Theory and Computer Science : Manchester, UK, September 5-8, 1989. Proceedings Pitt, David H., Rydeheard, David E., Dybjer, Peter., Pitts, Andrew., Poigne, Axel., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	12 電子ブック Constructivity in Computer Science : Summer Symposium San Antonio, TX, June 19–22, 1991 Proceeding Myers, J. Paul, O'Donnell, Michael J., SpringerLink (Online service) Springer-Verlag