- Tytuł:
- Henkin semantics for reasoning with natural language
- Autorzy:
-
Hahn, M.
Richter, F. - Data publikacji:
- 2015
- Wydawca:
- Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
- Tematy:
-
Henkin semantics
reasoning
reducing higher-order reasoning
first-order reasoning - Pokaż więcej
- Dostawca treści:
- Biblioteka Nauki