Theorem-proving systems / Ewa Orłowska

• Superior document: Dissertationes mathematicae 103
• VerfasserIn: Orłowska, Ewa 1935-
• Place / Publishing House: Warszawa : PWN, 1973
• प्रकाशन का वर्ष : 1973
• भाषा: English
• श्रृंखला: Dissertationes mathematicae 103
• भौतिक वर्णन: 55 S.
• टिप्पणियाँ: Literaturverz. S. [48] - 51
• ac_no: AC07821950
• Hierarchical level: Monograph
• Statement of Responsibility: Ewa Orłowska