Yazar
Li, Xuandong. editor.
Format:
Electronic Resources
Alıntı:
, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings / Li, Xuandong. editor.
Yazar
Urban, Christian. editor.
Format:
Electronic Resources
Alıntı:
Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27
View Other Search Results
Yazar
Boniol, Frédéric. editor.
Format:
Electronic Resources
Alıntı:
ABZ 2014: The Landing Gear Case Study Case Study Track, Held at the 4th International Conference on
Arama Sonuçlarını Sınırlandır
Daraltılmış: