인쇄
충남도립대학교 도서관
도서명
Rewrite System의 Poly
nomial Ordering의 자동생성 : Automatic generation of polynomial orderings in rewrite systems
저 자
이정미
청구기호
소장처
출력