Theorem-proving systems
By: Ewa Orłowska.
Series: Dissertationes mathematicae -- 103; Rozprawy matematyczne -- 103.
Publisher: Państwowe Wydawn.  Naukowe
Published: 1973
Place of publication: Warszawa
Language: eng
Number of pages: 55
Subjects: Automatic theorem proving
Notes: At head of title: Polska Akademia Nauk, Instytyt Matematyczny.

Bibliography: p. [48]-51.