نتایج جستجو برای: mechanized
تعداد نتایج: 2131 فیلتر نتایج به سال:
Journal:
:Japanese Journal of Farm Work Research
1968
Journal:
:Agricultural and Food Science
1956
Journal:
:Theory and Practice of Logic Programming
2017
2011
Aquinas Hobor
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.
Journal:
:Theoretical Computer Science
2005
Journal:
:Journal of the American Chemical Society
2011
Journal:
:Computers and Electronics in Agriculture
2017
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید