- Tytuł:
- Automatyczne dowodzenie twierdzeń
- Autorzy:
- Pawlak, Zdzisław
- Seria:
- Biblioteczka Matematyczna ; 19
- Temat:
- Dowód
Matematyka
Językoznawstwo matematyczne
Analiza matematyczna - Rok wydania:
- 1965
- Wydawca:
- Warszawa : Państ. Zakł. Wydaw. Szkolnych
- Tytuł pełny:
- Automatyczne dowodzenie twierdzeń / Zdzisław Pawlak
Książka