상세 보기
자료 필터
자료유형
발행연도
1993 ~ 2024
1993 2024
키워드
언어
전체 69건 중 61번부터 69번까지의 결과를 표시합니다.
2000
1998
1997
Article
Improving Bottom-up Execution of Logic Program using Abstract Filters: An Experimental Approach
- 김문정 ;
- 창병모 ;
- 최광무
- 1997-10
- 정보과학회논문지(B)
- 한국정보과학회
1995
Article
Improving Execution Models of Logic Programs by Two-phase Abstract Interpretation
- Chang, Byeong-Mo ;
- Choe, Kwang-Moo ;
- Giacobazzi, Roberto
- 1995-01
- ETRI Journal
- 한국전자통신연구원 (ETRI)
1994
1993
Article
Static Filtering for Stratified Programs
- Byeong-Mo Chang ;
- Kwang-Moo Choe ;
- Taisook Han
- 1993-10
- Information Processing Letters
- Elsevier BV
Article
Efficient Bottom-up Execution of Logic Programs using Abstract Interpretation
- 창병모 ;
- 최광무 ;
- 한태숙
- 1993-09
- Information Processing Letters
- Elsevier BV