Książka przybliża zagadnienia automatycznego dowodzenia twierdzeń na maszynach cyfrowych.
- Autor: Zdzisław Pawlak
- Kategoria: informatyka, matematyka
- Język: polski
- ISBN: 000-00-0000-00-0
- Data wydania: 1965-01-01
- Liczba stron: 146
- Ocena: 0,0
- Wydawnictwo: Państwowe Zakłady Wydawnictw Szkolnych
