المؤلفون: Hunt Jr., Warren A., Ramanathan, Vivek, Moore, J Strother

المصدر: EPTCS 359, 2022, pp. 61-75

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Mathematical Software, Computer Science - Symbolic Computation, B.1.2, B.7.2, D.1.1, D.2.4, F.3.1, F.4.1, G.1.3, I.1.3, I.2.3, I.6.4, J.2

URL الوصول: http://arxiv.org/abs/2205.11698

المؤلفون: Slobodova, Anna, Hunt Jr, Warren

المصدر: EPTCS 249, 2017

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/1705.00766

المؤلفون: Chau, Cuong K., Kaufmann, Matt, Hunt Jr., Warren A.

المصدر: EPTCS 192, 2015, pp. 35-51

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/1509.06087

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

المؤلفون: Goel, Shilpi, Hunt, Jr., Warren A, Kaufmann, Matt

المصدر: EPTCS 114, 2013, pp. 54-69

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Hardware Architecture, Computer Science - Symbolic Computation

URL الوصول: http://arxiv.org/abs/1304.7858

المؤلفون: Hunt Jr., Warren A., Krug, Robert Bellarmine, Ray, Sandip, Young, William D.

المصدر: 2008 Formal Methods in Computer-Aided Design Formal Methods in Computer-Aided Design, 2008. FMCAD '08. :1-4 Nov, 2008

Relation: 2008 Formal Methods in Computer-Aided Design (FMCAD)

المؤلفون: Ray, Sandip, Hunt Jr., Warren A.

المصدر: 2007 Eighth International Workshop on Microprocessor Test and Verification Microprocessor Test and Verification, 2007. MTV '07. Eighth International Workshop on. :25-32 Dec, 2007

Relation: 2007 IEEE International Workshop on Microprocessor Test and Verification (MTV)

المؤلفون: Ray, Sandip, Hunt, Jr., Warren A., Matthews, John, Moore, J. Strother

المصدر: Journal of Automated Reasoning. May 2008 40(4):245-269

المؤلفون: Hunt, Jr., Warren H.

المصدر: JOM: The Journal of The Minerals, Metals & Materials Society (TMS). December 2004 56(12):14-19

المؤلفون: Hunt, Jr., Warren H.

المصدر: JOM: The Journal of The Minerals, Metals & Materials Society (TMS). October 2004 56(10):13-18