AUTHORS (1-2 of 2)
Miller, Dale
1
book jacket

Automated reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012 : proceedings
IJCAR 2012 (2012 : Manchester, England)
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
2012
電子書

Location: 中央研究院
2
book jacket

Certified programs and proofs second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings
CPP 2012 (2012 : Kyoto, Japan)
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
2012
電子書

Location: 中央研究院