Математическая логика и автоматическое доказательство теорем : Пер. с англ. / Ч. Чень, Р. Ли ; Пер. Г.В. Давыдова и др.
Material type:
Item type | Current library | Collection | Call number | Status | Notes | Barcode | |
---|---|---|---|---|---|---|---|
![]() |
Fundamental Scientific Library | General | PII/503376 (Browse shelf(Opens below)) | Available | 30 Days Loan | FL0228602 | |
![]() |
Fundamental Scientific Library | General | PII/503377 (Browse shelf(Opens below)) | Available | 30 Days Loan | FL0228608 | |
![]() |
Fundamental Scientific Library | General | PII/504675 (Browse shelf(Opens below)) | Available | 30 Days Loan | FL0226092 |
There are no comments on this title.
Log in to your account to post a comment.