Linnk AI letöltése
•
Önálló Kutatási Asszisztens
>
Bejelentkezés
betekintés
-
Formal System for Computability Logic
PECR: A Formal System Exploring Computability Logic
PECR is a formal system exploring computability logic through programs on real-world computers.
1