نتایج جستجو برای: mechanized scanning

تعداد نتایج: 162362  

Journal: :Fundam. Inform. 1998
Piergiorgio Bertoli Jacques Calmet Fausto Giunchiglia Karsten Homann

Computer algebra systems (CASs) and automated theorem provers (ATPs) exhibit complementary abilities. CASs focus on efficiently solving domain-specific problems. ATPs are designed to allow for the formalization and solution of wide classes of problems within some logical framework. Integrating CASs and ATPs allows for the solution of problems of a higher complexity than those confronted by each...

Journal: :College & Research Libraries 1955

Journal: :Japanese Journal of Farm Work Research 1968

Journal: :Agricultural and Food Science 1956

Journal: :Occupational and Environmental Medicine 1961

Journal: :College & Research Libraries 1952

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

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

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