J Strother Moore

Professor Emeritus

University of Texas at Austin · United States

简介

J Strother Moore with D. A. Greve, M. Kaufmann, P. Manolios, S. Ray, J. L. Ruiz-Reina, R. Sumners, D. Vroon, and M. Wilding. January 2008. Efficient Execution in an Automated Reasoning Environment.

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。