1
Certified Programs and Proofs [E-Book] : Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings /
2
Automated Reasoning [E-Book]: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings /
3
Process geomorphology /
Book
Other Personal Name(s): ...Ritter, Dale F....
Table of Contents