
http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
Maximal Models and Refutation Completeness: Semidecision Procedures in Automatic Theorem Proving
Wos, Lawrence 외 1명
로그인 후 소속기관의 권한에 따라 원문보기 이용이 가능합니다.
The Associativity Problem for Monoids and the Word Problem for Semigroups and Groups
로그인 후 소속기관의 권한에 따라 원문보기 이용이 가능합니다.