Theorem-proving systems
Series: Polska Akademia Nauk. Instytut Matematyczny. Dissertationes mathematicae (Rozprawy matematyczne) 103
Publisher: Panstwowe Wydawn. Naukowe
Published: 1973
Place of publication: Warszawa
Language: eng
Number of pages: 55
Subjects: Automatic theorem proving; Proof theory
Notes: Bibliography: p. [48]-51.