- Tytuł:
- Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach
- Autorzy:
- Pezlar Ivo
- Data publikacji:
- 2017-12-15
- Tematy:
-
logic of problems
algorithmic semantics
procedural semantics
Constructive Type Theory
Transparent Intensional Logic - Pokaż więcej
- Dostawca treści:
- CEJSH