4th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2009) : Montreal, Canada, 2 August 2009 | 東京科学大学図書館　蔵書検索（大岡山図書館、すずかけ台図書館）

Blank Cover Image

所蔵情報QRコード

4th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2009) : Montreal, Canada, 2 August 2009 / International Workshop on Logical Frameworks and Meta-languages Theory and Practice ; Association for Computing Machinery

資料種別:

図書

出版情報:

New York : Association for Computing Machinery, c2009

形態:

87 p. ; 28 cm

シリーズ名:

ACM international conference proceedings series <BA82576929>

著者名:

ISBN:

9781615675449 [1615675442]

書誌ID:

BB00556519

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

注記:	Includes bibliographical references and index
言語:	英語

ブックレビュー

Loading review information

類似資料:

1 電子ブック Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice Felty, Amy, Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, ACM	7 図書 1st Workshop on Modules and Libraries for Proof Assistants 2009 (MLPA-2009) : Montreal, Canada, 3 August 2009 Workshop on Modules and Libraries for Proof Assistants, Association for Computing Machinery Association for Computing Machinery
2 電子ブック Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice Cheney, James, Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, ACM	8 図書 2nd Canadian Conference on Computer Science and Sotware Engineering 2009 (C3S2E 2009) : Montreal, QC, Canada, 19-21 May 2009 Association for Computing Machinery Association for Computing Machinery
3 電子ブック Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice Chlipala, Adam, Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, ACM	9 図書 7th International Workshop on Satisfiability Modulo Thoeries 2009 (SMT 09) : Montreal, Canada, 2-3, August, 2009 ACM International Workshop on Satisfiability Modulo Thoeries Association for Computing Machinery
4 電子ブック Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice Dowek, Gilles, Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, ACM	10 図書 4th Domain-Specific Aspect Language Workshop 2009 (DSAL 09) : held at AOSD 2009 : Charlottesville, Virginia, USA 2-6 March 2009 International Conference on Aspect-Oriented Software Development, Domain-Specific Aspect Language Workshop, Association … Association for Computing Machinery
5 電子ブック Proceedings of the Workshop on Logical Frameworks and Meta-Languages: Theory and Practice Miculan, Marino, Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, ACM	11 図書 2nd International Conference on Theory and Practice of Electronic Goernance : ICEGOV 2008 : Cairo, Egypt 1-4 December 2008 Association for Computing Machinery Association for Computing Machinery
6 電子ブック Proceedings of the Eighth ACM SIGPLAN international workshop on Logical frameworks & meta-languages: theory & practice Momigliano, Alberto, Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, ACM	12 電子ブック Proceedings of the 4th International Conference on Theory and Practice of Electronic Governance HADDAWY, Peter, Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, ACM

1

2

3

4

5

6

7

8

9

10

11

12