@misc{Pawlak_Zdzisław_Automatyczne, author={Pawlak, Zdzisław}, howpublished={online}, publisher={Warszawa : PZWS}, language={pol}, type={książka}, title={Automatyczne dowodzenie twierdzeń}, keywords={informatyka, cybernetyka matematyczna, cybernetyka, sztuczna inteligencja, logika matematyczna}, }