Blank Cover Image

8th International Workshop on ACL2 Theorem Prover and its Applications 2009 : Boston, Massachusetts, USA, 11-12, May, 2009

シリーズ名:
ACM Conference Proceedings
出版情報:
New York, N.Y.: ACM Press, 2009
ISBN:
9781617380457 [1617380458]
請求記号:
A04400/200998
資料種別:
国際会議録
巻号一覧
Loading volume number list

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12