- Tytuł:
- Standard normalization for infinite typed terms
- Autorzy:
- Koletsos, George
- Data publikacji:
- 2008
- Tematy:
- Logika matematyczna
- Pokaż więcej
- Dostawca treści:
- Academica
Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.