- Tytuł:
- Proof versus formalization
- Autorzy:
- Źródło:
- BIT Numerical Mathematics. March 1994 34(1):148-164
- Czasopismo naukowe
Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.