Theorem-proving systems Orloswska Ewa
Material type:
TextLanguage: English Series: Dissertations mathematicae; 103Publication details: Warszawa Panstwowe Wydawnictwo Naukowa Description: 55p. cmDDC classification: - B, L34
| Item type | Current library | Home library | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
Textual
|
Central Science Library | Central Science Library | B L34 (Browse shelf(Opens below)) | Available | SL0315083 |
There are no comments on this title.
Log in to your account to post a comment.