Function-free 논리프로그램의 Bottom-up수행의 최적화를 위한 정적 필터의 최소 고정점 정형화

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 265
  • Download : 0
Publisher
한국정보과학회
Issue Date
1992
Language
KOR
Citation

한국정보과학회1992 봄 학술발표논문집, v.19, no.1, pp.241 - 244

URI
http://hdl.handle.net/10203/114434
Appears in Collection
CS-Conference Papers(학술회의논문)CS-Conference Papers(학술회의논문)
Files in This Item
There are no files associated with this item.

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0