Advanced Search
Interactive Theorem Proving4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings /

Interactive Theorem Proving4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings /

Detail CantumanXML DetailCite

Hasil Pencarian

Ditemukan 1 dari pencarian Anda melalui kata kunci: Author : "Paulin-Mohring, Christine."
Permintaan membutuhkan 0.87574 detik untuk selesai
XML ResultJSON Result