Normal view
MARC view
Lenguajes formales (Término temático)
Used for/see from:
- Automath (Lenguaje formal)