충남대학교외국학술지지원센터

글로벌메뉴

  • HOME
  • sitemap

주메뉴


임시보관함

  • |Home >
  • 임시보관함

검색간략리스트

1.
저널기사
A Completeness Theorem for the Expressive Power of Higher-Order Algebraic Specifications / Meinke, K / Academic Press / JOURNAL OF COMPUTER AND SYSTEM SCIENCES / 502 / 1980

하단메뉴