نتایج جستجو برای: tool type
تعداد نتایج: 1669318 فیلتر نتایج به سال:
2004
Fredrik Lindblad
Marcin Benke
We present a tool for automated theorem proving in Agda, an implementation of Martin-Löf’s intuitionistic type theory. The tool is intended to facilitate interactive proving by relieving the user from filling in simple but tedious parts of a proof. The proof search is conducted directly in type theory and produces proof terms. Any proof term is verified by the Agda type-checker, which ensures s...
Journal:
:JSME International Journal Series C
2004
Journal:
:Diabetic Medicine
2007
Journal:
:Proceedings of the International Astronomical Union
2019
Journal:
:Journal of Diabetes Science and Technology
2008
Journal:
:The Astronomical Journal
2014
Journal:
:The European Physical Journal C
2020
Journal:
:Genetics in Medicine
2006
Journal:
:Geochemistry, Geophysics, Geosystems
2013
Journal:
:Annals of Clinical Biochemistry: International Journal of Laboratory Medicine
2009
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید