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

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

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.

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه پیام نور - دانشگاه پیام نور استان تهران - دانشکده علوم اجتماعی و اقتصادی 1389

abstract nowadays, the science of decision making has been paid to more attention due to the complexity of the problems of suppliers selection. as known, one of the efficient tools in economic and human resources development is the extension of communication networks in developing countries. so, the proper selection of suppliers of tc equipments is of concern very much. in this study, a ...

Journal: :Theoretical Computer Science 2005

Journal: :Journal of the American Chemical Society 2011

Journal: :Computers and Electronics in Agriculture 2017

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

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