Automatyczne dowodzenie twierdzeń z wykorzystaniem zasady rezolucji
By: Paweł Gburzyński.
Series: Prace IPI PAN =; ICS PAS reports ;; 319; Prace IPI PAN ;; 319.
Publisher: Instytut Podstaw Informatyki Polskiej Akademii Nauk
Published: 1978
Place of publication: Warszawa
Language: pol
Number of pages: 110
Subjects: Automatic theorem proving.
Notes: Bibliography: p. 110.
Summary in English and Russian.