- Tytuł:
- On Computer-assisted Approach to Formalized Reasoning
- Autorzy:
- Matuszewski R.
- Tematy:
-
AUTOMATED REASONING
FORMALIZED MATHEMATICS.
SCIENCE OF SCIENCE - Pokaż więcej
- Dostawca treści:
- CEJSH
Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.