본문

  1. Home
  4. Thesis
1 Results:SS:FUNCTIONALPROGRAMMING PP:UNIVERSITY OF PENNSYLVANIA. 0.203 sec.
RSS 
Multilingual
 Búsqueda Avanzada
 Nueva llegada Buscar
Selected Print 선택엑셀내보내기
1
Mechanized Reasoning about "How" Using Functional Programs and Embeddings.
Mechanized Reasoning about "How" Using Functional Programs and Embeddings.
Li, Yao.Computer and Information Science. | University of Pennsylvania. | 2022
impresión
처음1마지막