주메뉴 바로가기
본문 바로가기(skip to content)
퀵메뉴 바로가기
마이메뉴 바로가기
도서관정보 바로가기
글로벌메뉴
주메뉴
이용안내
신청방법
저널목록
인기 학술지
원문검색
CNU Search
RISS Search
ScienceON Search
FRIC Search
신청내역
관리자 목록
센터소개
소개
연혁
운영시간
조직
게시판
센터소식
이용문의
자료실
이용안내
신청방법
저널목록
인기 학술지
원문검색
CNU Search
RISS Search
NDSL Search
FRIC Search
신청내역
센터소개
소개
연혁
운영시간
조직
게시판
센터소식
이용문의
자료실
CNU Search
|
Home
>
원문검색
>
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
ㅣ
가
나
다
라
마
바
사
아
자
차
카
타
파
하
기타
검색 타입
전체
서명
저자
발행처
ISSN
수록DB
키워드
전방일치
완전일치
결과내 검색
검색어
[가나다ABC : 전체]
총
337
건 중
337
건 출력
7/17
페이지
제한항목
North-Holland Pub. Co. [etc.]
검색결과제한
자료유형
기사
(336)
연간물
(1)
저자
Dubois, Didier
(3)
Selman, B
(3)
Smoliar, S. W
(3)
Benferhat, S
(2)
Boutilier, C
(2)
Brafman, Ronen I
(2)
Chella, A
(2)
Delgrande, J. P
(2)
Dunne, P. E
(2)
Freund, M
(2)
Gent, I. P
(2)
Hansson, S. O
(2)
Kambhampati, S
(2)
Kraus, S
(2)
Lin, J
(2)
Meiri, I
(2)
Ram, A
(2)
Reynolds, D
(2)
Schwarz, G
(2)
Zhang, W
(2)
Zlotkin, G
(2)
Abdelbar, Ashraf M
(1)
Aisbett, Janet
(1)
Akman, V
(1)
Al-Jarrah, Omar
(1)
더보기
(20)
more...
더보기 취소
출판사
North-Holland Pub. Co. [etc.]
(337)
발행년도
1980
(190)
2003
(55)
2001
(48)
2000
(43)
1970
(1)
언어
영어
(1)
소장처
중앙도서관
(1)
검색간략리스트
항목선택
서명
저자
발행처
원문제공시작년
정렬
오름차순
내림차순
5
10
15
20
30
50
100
121.
서명
Efficient compositional modeling for generating causal explanations
저자
Nayak, P. P
발행처
North-Holland Pub. Co. [etc.]
원문제공시작년
1980
자료유형
저널기사
원문복사 신청
원문제공마감년
122.
서명
Efficient solution techniques for disjunctive temporal reasoning problems
저자
Tsamardinos, I
발행처
North-Holland Pub. Co. [etc.]
원문제공시작년
2003
자료유형
저널기사
원문복사 신청
원문제공마감년
123.
서명
Empirically designing and evaluating a new revision-based model for summary generation
저자
Robin, J
발행처
North-Holland Pub. Co. [etc.]
원문제공시작년
1980
자료유형
저널기사
원문복사 신청
원문제공마감년
124.
서명
Enhancing disjunctive logic programming systems by SAT checkers
저자
Koch, C
발행처
North-Holland Pub. Co. [etc.]
원문제공시작년
2003
자료유형
저널기사
원문복사 신청
원문제공마감년
125.
서명
Epsilon-transformation: exploiting phase transitions to solve combinatorial optimization problems
저자
Pemberton, J. C
발행처
North-Holland Pub. Co. [etc.]
원문제공시작년
1980
자료유형
저널기사
원문복사 신청
원문제공마감년
126.
서명
Equivalence notions and model minimization in Markov decision processes
저자
Givan, R
발행처
North-Holland Pub. Co. [etc.]
원문제공시작년
2003
자료유형
저널기사
원문복사 신청
원문제공마감년
127.
서명
Error repair and knowledge acquisition via case-based reasoning
저자
Kohno, T
발행처
North-Holland Pub. Co. [etc.]
원문제공시작년
1980
자료유형
저널기사
원문복사 신청
원문제공마감년
128.
서명
Estimation of optical flow based on higher-order spatiotemporal derivatives in interlaced and non-interlaced image sequences
저자
Otte, M
발행처
North-Holland Pub. Co. [etc.]
원문제공시작년
1980
자료유형
저널기사
원문복사 신청
원문제공마감년
129.
서명
Evaluating evolutionary algorithms
저자
Whitney, D
발행처
North-Holland Pub. Co. [etc.]
원문제공시작년
1980
자료유형
저널기사
원문복사 신청
원문제공마감년
130.
서명
Evaluating general purpose automated theorem proving systems
저자
Sutcliffe, Geoff
발행처
North-Holland Pub. Co. [etc.]
원문제공시작년
2001
자료유형
저널기사
원문복사 신청
원문제공마감년
131.
서명
EVEXED and MEET for mechanical design: testing structural decomposition and constraint propagation
저자
Steinberg, L
발행처
North-Holland Pub. Co. [etc.]
원문제공시작년
1980
자료유형
저널기사
원문복사 신청
원문제공마감년
132.
서명
Experimental results on the crossover point in random 3-SAT
저자
Crawford, J. M
발행처
North-Holland Pub. Co. [etc.]
원문제공시작년
1980
자료유형
저널기사
원문복사 신청
원문제공마감년
133.
서명
Exploratory analysis of speedup learning data using expectation maximization
저자
Segre, A. M
발행처
North-Holland Pub. Co. [etc.]
원문제공시작년
1980
자료유형
저널기사
원문복사 신청
원문제공마감년
134.
서명
Expressing preferences in default logic
저자
Delgrande, James P
발행처
North-Holland Pub. Co. [etc.]
원문제공시작년
2000
자료유형
저널기사
원문복사 신청
원문제공마감년
135.
서명
EXPtime tableaux for/
저자
Donini, Francesco M
발행처
North-Holland Pub. Co. [etc.]
원문제공시작년
2000
자료유형
저널기사
원문복사 신청
원문제공마감년
136.
서명
Extensionally defining principles and cases in ethics: An AI model
저자
McLaren, B. M
발행처
North-Holland Pub. Co. [etc.]
원문제공시작년
2003
자료유형
저널기사
원문복사 신청
원문제공마감년
137.
서명
Failure driven dynamic search control for partial order planners: an explanation based approach
저자
Kambhampati, S
발행처
North-Holland Pub. Co. [etc.]
원문제공시작년
1980
자료유형
저널기사
원문복사 신청
원문제공마감년
138.
서명
Fast planning through planning graph analysis
저자
Blum, A. L
발행처
North-Holland Pub. Co. [etc.]
원문제공시작년
1980
자료유형
저널기사
원문복사 신청
원문제공마감년
139.
서명
Feature Subset Selection by Bayesian network-based optimization
저자
Inza, I
발행처
North-Holland Pub. Co. [etc.]
원문제공시작년
2000
자료유형
저널기사
원문복사 신청
원문제공마감년
140.
서명
"Field Reviews": A new style of review article for Artificial Intelligence
저자
Cohn, A G
발행처
North-Holland Pub. Co. [etc.]
원문제공시작년
2001
자료유형
저널기사
원문복사 신청
원문제공마감년
1
2
3
4
5
6
7
8
9
10
임시보관함보기
하단메뉴