주메뉴 바로가기
본문 바로가기(skip to content)
퀵메뉴 바로가기
마이메뉴 바로가기
도서관정보 바로가기
글로벌메뉴
주메뉴
이용안내
신청방법
저널목록
인기 학술지
원문검색
CNU Search
RISS Search
ScienceON Search
FRIC Search
신청내역
관리자 목록
센터소개
소개
연혁
운영시간
조직
게시판
센터소식
이용문의
자료실
이용안내
신청방법
저널목록
인기 학술지
원문검색
CNU Search
RISS Search
NDSL Search
FRIC Search
신청내역
센터소개
소개
연혁
운영시간
조직
게시판
센터소식
이용문의
자료실
CNU Search
|
Home
>
원문검색
>
CNU Search
>
기본검색
탭메뉴
기본검색
가나다리스트
검색 타입
전체
서명
저자
발행처
ISSN
수록DB
키워드
전방일치
완전일치
결과내 검색
검색어
[키워드 / 전체:Journal]
총
69
건 중
69
건 출력
1/7
페이지
제한항목
기사
Elsevier Science Pub. Co
검색결과제한
자료유형
기사
(69)
저자
Baral, C
(3)
Codish, M
(3)
Bonner, A. J
(2)
Chen, W
(2)
Adali, S
(1)
Ait-Kaci, H
(1)
Andrews, J
(1)
Araujo, L
(1)
Arni, N
(1)
Axling, T
(1)
Azevedo, P. J
(1)
Beckert, B
(1)
Benhamou, F
(1)
Bieker, U
(1)
Bigot, P. A
(1)
Boizumault, P
(1)
Bornscheuer, S.-E
(1)
Boye, J
(1)
Brass, S
(1)
Buccafurri, F
(1)
Codognet, P
(1)
Cortesi, A
(1)
Degtyarev, A
(1)
Devienne, P
(1)
Dovier, A
(1)
더보기
(20)
more...
더보기 취소
출판사
Elsevier Science Pub. Co
(69)
발행년도
1980
(69)
검색간략리스트
항목선택
서명
저자
발행처
원문제공시작년
정렬
오름차순
내림차순
5
10
15
20
30
50
100
1.
서명
Expressiveness of Stable Model Semantics for Disjunctive Logic Programs with Functions
저자
Eiter, T
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사
원문복사 신청
원문제공마감년
2.
서명
A Platform for Restriction Mapping
저자
Yee, C. N
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사
원문복사 신청
원문제공마감년
3.
서명
Cuts and Side-Effects in and-or Parallel Prolog
저자
Gupta, G
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사
원문복사 신청
원문제공마감년
4.
서명
Completeness of SLDNF-Resolution for Nonfloundering Queries
저자
Drabent, W
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사
원문복사 신청
원문제공마감년
5.
서명
The NRL Protocol Analyzer: An Overview
저자
Meadows, C
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사
원문복사 신청
원문제공마감년
6.
서명
On the Design of a Correct Freeness Analysis for Logic Programs
저자
Codish, M
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사
원문복사 신청
원문제공마감년
7.
서명
On Termination of General Logic Programs W.R.T. Constructive Negation
저자
Marchiori, E
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사
원문복사 신청
원문제공마감년
8.
서명
Nondeterminism Through Well-Founded Choice
저자
Chen, W
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사
원문복사 신청
원문제공마감년
9.
서명
Extending Prolog with Nonmonotonic Reasoning
저자
Chen, W
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사
원문복사 신청
원문제공마감년
10.
서명
Smallest Horn Clause Programs
저자
Devienne, P
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사
원문복사 신청
원문제공마감년
1
2
3
4
5
6
7
임시보관함보기
하단메뉴