Advanced Search

Automated Reasoning7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings /

Detail CantumanXML DetailCite
Programming LogicsEssays in Memory of Harald Ganzinger /

Programming LogicsEssays in Memory of Harald Ganzinger /

Detail CantumanXML DetailCite

Hasil Pencarian

Ditemukan 2 dari pencarian Anda melalui kata kunci: Author : "Weidenbach, Christoph."
Permintaan membutuhkan 0.95654 detik untuk selesai
XML ResultJSON Result