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

글로벌메뉴

  • HOME
  • sitemap

주메뉴

CNU Search

검색 타입
상세검색
검색어[키워드 / 전체:Journal]
총 70건 중 70건 출력
1/7 페이지 엑셀파일 출력

검색간략리스트

열거형 테이블형
1.
서명
The Journal of logic programming 미리보기
저자
Syracuse University Logic Programming Research Center
발행처
Elsevier Science Pub. Co.
원문제공시작년
1984-2000
자료유형
연속간행물 연속간행물 원문복사 신청
원문제공마감년
2.
서명
Expressiveness of Stable Model Semantics for Disjunctive Logic Programs with Functions 미리보기
저자
Eiter, T
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
3.
서명
A Platform for Restriction Mapping 미리보기
저자
Yee, C. N
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
4.
서명
Cuts and Side-Effects in and-or Parallel Prolog 미리보기
저자
Gupta, G
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
5.
서명
Completeness of SLDNF-Resolution for Nonfloundering Queries 미리보기
저자
Drabent, W
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
6.
서명
The NRL Protocol Analyzer: An Overview 미리보기
저자
Meadows, C
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
7.
서명
On the Design of a Correct Freeness Analysis for Logic Programs 미리보기
저자
Codish, M
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
8.
서명
On Termination of General Logic Programs W.R.T. Constructive Negation 미리보기
저자
Marchiori, E
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
9.
서명
Nondeterminism Through Well-Founded Choice 미리보기
저자
Chen, W
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
10.
서명
Extending Prolog with Nonmonotonic Reasoning 미리보기
저자
Chen, W
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
1 2 3 4 5 6 7 
임시보관함보기

하단메뉴