Reasoning about Syntax-Based Mathematical Algorithms within a Formal Logic Grant uri icon

  •  
  • Overview
  •  
  • Affiliation
  •  
  • View All
  •  

date/time interval

  • April 1, 2015 - March 31, 2020

total award amount

  • CAD 90000