Please print this form, and request the material
at the counter of University Library.
Location | 1F書庫3-製本雑誌(洋) |
Call No. | 540/J 82/22-23 |
Barcode No. | 100079035 |
Status |
Journal of automated reasoning. - Dordrecht : D. Reidel Publishing Company , 1985 |
1999-1999;22(1-4),23(1-4) |
2024/05/11 23:43:23