Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)

  • 1998.10b
  • /
  • Pages.588-590
  • /
  • 1998
  • /
  • 1598-5164(pISSN)
Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

Web-based Equational Reasoning Systems

웹 기반의 등식 추론 시스템

  • 조규석 (경기대학교 전자계산학과 소프트웨어공학연구실) ;
  • 권기현 (경기대학교 전자계산학과 소프트웨어공학연구실)
  • Published : 1998.10.01

⟨ Previous Next ⟩

Abstract

현대 웹 기반의 시스템에 대한 개발이 활발하게 이루어지고 있으나 아직까지 등식 추론을 위한 시스템은 개발되어 있지 않다. 본 논문에서는 웹에서 동작하는 조건 등식 추론 시스템 구현에 대해서 기술하였다. 개발된 시스템은 조건 등식 추론이 가능하며, 완료 프로시저, 다양한 개서 전략, 다양한 순서와 방법등을 지원한다.

Keywords