Title: Automatyczne dowodzenie twierdzeń z wykorzystaniem zasady rezolucji
Subjects: Automatic theorem proving