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

글로벌메뉴

  • HOME
  • sitemap

주메뉴

CNU Search

전체 ㅣ A B C D E F G H I J K L M N O P Q R S T U V W X Y Z ㅣ 가 나 다 라 마 바 사 아 자 차 카 타 파 하 기타
검색 타입
상세검색
검색어[가나다ABC : 전체]
총 71건 중 71건 출력
4/4 페이지 엑셀파일 출력

검색간략리스트

열거형 테이블형
61.
서명
Smallest Horn Clause Programs 미리보기
저자
Devienne, P
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
62.
서명
Stable Models and their Computation for Logic Programming with Inheritance and True Negation 미리보기
저자
Buccafurri, F
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
63.
서명
Stable Models Are Generated by a Stable Chain 미리보기
저자
Herre, H
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
64.
서명
The Horn Basis of a Set of Clauses 미리보기
저자
Hebrard, J.-J
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
65.
서명
The IFF Proof Procedure for Abductive Logic Programming 미리보기
저자
Tze Ho Fung
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
66.
서명
The NRL Protocol Analyzer: An Overview 미리보기
저자
Meadows, C
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
67.
서명
The Relationship Between Logic Programs and Specification the Subset Example Revisited 미리보기
저자
Lau, K.-K
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
68.
서명
Transformational Methodology for Proving Termination of Logic Programs 미리보기
저자
Krishna Rao, M. R. K
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
69.
서명
Update by Means of Inference Rules 미리보기
저자
Przymusinski, T. C
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
70.
서명
Using Logic Programming and Coroutining for Electronic CAD 미리보기
저자
Bieker, U
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
71.
서명
Well-Founded Ordered Search: Goal-Directed Bottom-Up evaluation of Well-Founded Models 미리보기
저자
Stuckey, P. J
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
1 2 3 4 
임시보관함보기

하단메뉴