본문

  1. Home
  4. Search
1 Results:SS:FUNCTIONALPROGRAMMING 0.62 sec.
RSS 
Multilingual
 Recherche avancée
 nouvelle arrivée Rechercher
impression sélectionné 선택엑셀내보내기
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
d'impression
처음1마지막