Automatyczne dowodzenie twierdzeń - Zdzisław Pawlak - książka wyd. 1965

Opis

Książka przybliża zagadnienia automatycznego dowodzenia twierdzeń na maszynach cyfrowych.