نتایج جستجو برای: mechanized and semi mechanized farms
تعداد نتایج: 16851500 فیلتر نتایج به سال:
We show how to improve one of the constructors of separation algebras to increase modularity and expressibility. Our technique has advantages for both paper and mechanized proofs. Our results are implemented in Coq.
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید
