1st Workshop on Modules and Libraries for Proof Assistants 2009 (MLPA-2009) : Montreal, Canada, 3 August 2009
- シリーズ名:
- ACM Conference Proceedings
- シリーズ巻号:
- MLPA 2009
- 出版情報:
- New York, N.Y.: ACM Press, 2009
- ISBN:
- 9781617380426 [1617380423]
- 請求記号:
- A04400/200966
- 資料種別:
- 国際会議録
類似資料:
Association for Computing Machinery | |
Association for Computing Machinery |
Association for Computing Machinery |
Association for Computing Machinery | |
Association for Computing Machinery |
American Society of Mechanical Engineers |
Association for Computing Machinery |