نتایج جستجو
USA Economy-in-brief (2007) (In Brief Series)
George Clack (Editor)
Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
Lawrence C. Paulson (auth.), 2012
Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
Lawrence C. Paulson (auth.), 2012
Eastern USA
Karla Zimmerman, 2012
