서브메뉴
검색
상세정보
Rewrite System의 Polynomial Ordering의 자동생성 : Automatic generation of polynomial orderings in rewrite systems
Rewrite System의 Polynomial Ordering의 자동생성 : Automatic generation of polynomial orderings in rewrite systems
- 자료유형
- 단행본
- 서명/저자
- Rewrite System의 Polynomial Ordering의 자동생성 : Automatic generation of polynomial orderings in rewrite systems / 이정미 저 ; 위규범 공저
- 발행사항
- 서울 : 한국정보과학회, 1998.
- 형태사항
- pp. 679-681
- 기타저자
- 이정미
- 기타저자
- 위규범
- URL
- http://
- 모체레코드
- 모체정보확인