نتایج جستجو
Commutative ring theory: proceedings of the II international conference
Paul-Jean Cahen, 1996
NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings
Cesare Tinelli (auth.), 2012
