- Tytuł:
- Formalizing context in intuitionistic type theory
- Autorzy:
- Boldini, P.
- Data publikacji:
- 2000
- Słowa kluczowe:
-
artificial intelligence
context
type theory
natural language processing
knowledge based system
situations - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł