소장자료
'소장자료' 에서 검색결과 9건
![](https://lib.pusan.ac.kr/lawlib/wp-content/themes/pnul2022/assets/images/default/default_w_279X393.png)
국외단행본
저자 : IFIP TC 12/WG 12.3 International Workshop on Automated Reasoning
출판사 : Amsterdam
새벽벌도서관
대출가능
검색 결과 제한하기
제한된 항목(1)
전체 : Shi, Z.
발행년도(7)
분관(8)
자료유형(1)
저자(20)
언어(4)
발행처(8)
주제(20)