- Tytuł:
- Explaining the undecidability of first-order logic
- Autorzy:
-
Lampert, Timm
Nakano, Anderson - Data publikacji:
- 2024-12-31
- Wydawca:
- Copernicus Center Press
- Tematy:
-
Entscheidungsproblem
pattern detection
halting problem
constructive proof
automated theorem proving - Pokaż więcej
- Dostawca treści:
- Biblioteka Nauki
Artykuł