- Tytuł:
- Automatyczne dowodzenie twierdzeń
- Autorzy:
- Pawlak, Zdzisław (1926- )
- Temat:
- Matematyka
- Rok wydania:
- 1965
- Wydawca:
- Warszawa : Państwowe Zakłady Wydawnictw Szkolnych
- Seria:
- Biblioteczka Matematyczna ; 19
- Opis fizyczny:
- 146, [2] s. : wykr., tab. ; 21 cm
- Książka