Formal System for Computability Logic

登入

洞見 - Formal System for Computability Logic

PECR is a formal system exploring computability logic through programs on real-world computers.

關於我們

產品

資源