Zasada rezolucji
Subtitle: teoria, praktyka, kierunki rozwoju
By: Marek Wójcik.
Series: Prace IPI PAN648 =; ICS PAS reports,; 662; Prace IPI PAN ;; 662.
Publisher: Instytut Podstaw Informatyki Polskiej Akademii Nauk
Published: 1989
Place of publication: Warszawa
Language: pol
Number of pages: 116
Subjects: Proof theory.; Automatic theorem proving.
Notes: Includes bibliographical references (p. 106-112).