( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Fourier Series Formalization in ACL2(r).

, , и . ACL2, том 192 из EPTCS, стр. 35-51. (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Hildegard Matt

Lucas Matt

Franz Matt

Konrad Matt

Sonja Matt

 

Другие публикации лиц с тем же именем

Meta Reasoning in ACL2., , , , и . TPHOLs, том 3603 из Lecture Notes in Computer Science, стр. 163-178. Springer, (2005)ACL2 and Its Applications to Digital System Verification., и . Design and Verification of Microprocessor Systems for High-Assurance Applications, Springer, (2010)A formal model of a large memory that supports efficient execution., и . FMCAD, стр. 60-67. IEEE, (2012)Commercial Design Verification: Methodology and Tools., , , , , , , , , и . ITC, стр. 839-848. IEEE Computer Society, (1996)Formal Verification of FIRE: A Case Study., , , и . DAC, стр. 173-177. ACM Press, (1997)An Interactive Enhancement to the Boyer-Moore Theorem Prover.. CADE, том 310 из Lecture Notes in Computer Science, стр. 735-736. Springer, (1988)Integrating external deduction tools with ACL2., , , и . J. Appl. Log., 7 (1): 3-25 (2009)Functional Instantiation in First-Order Logic., , , и . Artificial and Mathematical Theory of Computation, стр. 7-26. Academic Press / Elsevier, (1991)An Informal Discussion of Issues in Mechanically-Assisted Reasoning.. TPHOLs, стр. 318-337. IEEE Computer Society, (1991)Fourier Series Formalization in ACL2(r)., , и . ACL2, том 192 из EPTCS, стр. 35-51. (2015)