＜Books＞
Theorem- proving systems / by Ewa Or?owska.
(Dissertationes mathematicae)
| Publisher | Warszawa : Panstwowe Wydawnictwo Naukowe |
|---|---|
| Year | 1973 |
| Size | 55 p. 25 cm. |
| Authors | Orlowska, Ewa |
Hide book details.
| Location | Media type | Volume | Call No. | Status | Reserve | Comments | ISBN | Printed | Restriction | Designated Book | Barcode No. |
|---|---|---|---|---|---|---|---|---|---|---|---|
| 数学図書室(図書) | 図書 |
|
410.8//R79//VX2-103 |
|
|
|
|
|
2013088663 |
Hide details.
| Material Type | Books |
|---|---|
| ID | 1000051447 |
Usage statistics of this contents
Number of accesses to this page：3times
※After Sep 4, 2017
Total Lendings：0times
(Lending within 3 months：0times)