개인구독
소속 기관이 없으신 경우, 개인 정기구독을 하시면 저렴하게
논문을 무제한 열람 이용할 수 있어요.
지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
요약
1. 서론
2. Resolution에 근거한 automated reasoning의 추론구조 및 문제점
3. 퍼지 정보 검색 기법을 이용한 새로운 구조
4. 제안된 퍼지 기법의 효율성
5. 결론
참고 문헌
부록
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
VERIFICATION STRATEGY IN PROVER
대한전자공학회 기타 간행물
1996 .01
Pipe prover의 경년변화가 측정불확도에 미치는 영향
대한기계학회 춘추학술대회
2013 .12
퍼지정보검색 기법 및 그 응용
한국지능시스템학회 학술발표 논문집
1993 .12
파이프 프루버의 측정불확도에 관한 연구 ( A Study on the Measurement Uncertainty of Pipe Prover )
대한기계학회 논문집 B권
2000 .10
Neural Theorem Prover with Word Embedding for Efficient Automatic Annotation
Journal of KIISE
2017 .04
소형 푸루버의 유량계 검증 오차 연구 ( Study on Flowmeter Proving Errors of a Small Volume Prover )
대한기계학회 논문집
1990 .03
퍼지 정보 검색을 위한 요인 공간 이론의 적용 ( The Application of Factor Space theory for Fuzzy Information Retrieval )
대한전자공학회 학술대회
1997 .01
An Order Selection Method with Fuzzy Theorem ( Invited Paper )
JTC-CSCC : Joint Technical Conference on Circuits Systems, Computers and Communications
1993 .01
퍼지관계곱을 이용한 정보검색시스템의 성능 개선
한국지능시스템학회 논문지
2000 .06
퍼지 정보 검색 기법을 이용한 교통 신호 제어 전문가 시스템
한국지능시스템학회 학술발표 논문집
1994 .11
퍼지 정보 검색 기법을 이용한 교통 신호 제어 전문가 시스템
한국지능시스템학회 학술발표 논문집
1994 .11
퍼지기법을 이용한 자동화된 추론의 가중치 부여기법 개선
(구)정보과학회논문지
1994 .10
정보검색 기술 평가
한국정보과학회 언어공학연구회 학술발표 논문집
1999 .10
ProverPSL : A Theorem Prover for Full Separation Logic
한국정보과학회 학술발표논문집
2015 .12
[논문] 피스톤 푸루버 개발 및 불확도 평가
한국유체기계학회 논문집
2003 .06
Central limit theorems for fuzzy random sets
한국지능시스템학회 학술발표 논문집
2004 .04
A NOTE ON GENERALIZED COMMON FIXED POINT THEOREMS FOR FUZZY MAPPINGS
한국지능시스템학회 학술발표 논문집
1995 .11
2단계 유사관계 행렬을 기반으로 한 순위 재조정 검색 모델
정보과학회논문지 : 소프트웨어 및 응용
2004 .11
COMMON FIXED DEGREE THEOREMS FOR FUZZY MAPPINGS IN PM-SPACES
한국지능시스템학회 학술발표 논문집
1996 .03
확률적 러프집합 이론에 기반한 퍼지 정보의 검색
정보과학회논문지(B)
1998 .09
0