theorem proving

نتایج جستجو برای: theorem proving

تعداد نتایج: 162666 فیلتر نتایج به سال:

Mechanical theorem proving in projective geometry

Journal: :Annals of Mathematics and Artificial Intelligence 1995

Journal: :IEEE Transactions on Computers 2010

Journal: :Electronic Proceedings in Theoretical Computer Science 2017

Journal: :Theoretical Computer Science 2001

Journal: :Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 2019

Journal: :Communications of the ACM 1962

Journal: :Journal of Symbolic Computation 1996

Journal: :Electronic Proceedings in Theoretical Computer Science 2011

Journal: :Theoretical Computer Science 1987

Journal: :Computers & Mathematics with Applications 1976

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید