주메뉴 바로가기
본문 바로가기(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
건 출력
2/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
21.
서명
Alternative foundations for Reiter's default logic/
저자
Linke, Thomas
발행처
North-Holland Pub. Co. [etc.]
원문제공시작년
2000
자료유형
저널기사
원문복사 신청
원문제공마감년
22.
서명
ALX, an action logic for agents with bounded rationality
저자
Huang, Z
발행처
North-Holland Pub. Co. [etc.]
원문제공시작년
1980
자료유형
저널기사
원문복사 신청
원문제공마감년
23.
서명
A metatheory of a mechanized object theory
저자
Giunchiglia, F
발행처
North-Holland Pub. Co. [etc.]
원문제공시작년
1980
자료유형
저널기사
원문복사 신청
원문제공마감년
24.
서명
A model of legal reasoning with cases incorporating theories and values
저자
Bench-Capon, T
발행처
North-Holland Pub. Co. [etc.]
원문제공시작년
2003
자료유형
저널기사
원문복사 신청
원문제공마감년
25.
서명
An abstract, argumentation-theoretic approach to default reasoning
저자
Bondarenko, A
발행처
North-Holland Pub. Co. [etc.]
원문제공시작년
1980
자료유형
저널기사
원문복사 신청
원문제공마감년
26.
서명
An active vision architecture based on iconic representations
저자
Rao, R. P. N
발행처
North-Holland Pub. Co. [etc.]
원문제공시작년
1980
자료유형
저널기사
원문복사 신청
원문제공마감년
27.
서명
An agenda-based framework for multi-issue negotiation/
저자
Fatima, S. S
발행처
North-Holland Pub. Co. [etc.]
원문제공시작년
2003
자료유형
저널기사
원문복사 신청
원문제공마감년
28.
서명
An argument-based approach to reasoning with specificity/
저자
Dung, Phan Minh
발행처
North-Holland Pub. Co. [etc.]
원문제공시작년
2001
자료유형
저널기사
원문복사 신청
원문제공마감년
29.
서명
A near-optimal polynomial time algorithm for learning in certain classes of stochastic games/
저자
Brafman, Ronen I
발행처
North-Holland Pub. Co. [etc.]
원문제공시작년
2000
자료유형
저널기사
원문복사 신청
원문제공마감년
30.
서명
An efficient algorithm for optimal pruning of decision trees
저자
Almuallim, H
발행처
North-Holland Pub. Co. [etc.]
원문제공시작년
1980
자료유형
저널기사
원문복사 신청
원문제공마감년
31.
서명
An efficient algorithm for searching implicit AND/OR graphs with cycles/
저자
Jim�nez, P
발행처
North-Holland Pub. Co. [etc.]
원문제공시작년
2000
자료유형
저널기사
원문복사 신청
원문제공마감년
32.
서명
An empirical study of automated dictionary construction for information extraction in three domains
저자
Riloff, E
발행처
North-Holland Pub. Co. [etc.]
원문제공시작년
1980
자료유형
저널기사
원문복사 신청
원문제공마감년
33.
서명
An empirical study of phase transitions in binary constraint satisfaction problems
저자
Prosser, P
발행처
North-Holland Pub. Co. [etc.]
원문제공시작년
1980
자료유형
저널기사
원문복사 신청
원문제공마감년
34.
서명
An empirical symbolic approach to natural language processing
저자
Basili, R
발행처
North-Holland Pub. Co. [etc.]
원문제공시작년
1980
자료유형
저널기사
원문복사 신청
원문제공마감년
35.
서명
A new approach to cyclic ordering of 2D orientations using ternary relation algebras/
저자
Isli, Amar
발행처
North-Holland Pub. Co. [etc.]
원문제공시작년
2000
자료유형
저널기사
원문복사 신청
원문제공마감년
36.
서명
A new approach to quantitative and credible diagnosis for multiple faults of components and sensors
저자
Washio, T
발행처
North-Holland Pub. Co. [etc.]
원문제공시작년
1980
자료유형
저널기사
원문복사 신청
원문제공마감년
37.
서명
A new theorem in particle physics enabled by machine discovery
저자
Valdes-Perez, R. E
발행처
North-Holland Pub. Co. [etc.]
원문제공시작년
1980
자료유형
저널기사
원문복사 신청
원문제공마감년
38.
서명
An extension of pointwise circumscription
저자
Iwanuma, K
발행처
North-Holland Pub. Co. [etc.]
원문제공시작년
1980
자료유형
저널기사
원문복사 신청
원문제공마감년
39.
서명
An interactive system for finding complementary literatures: a stimulus to scientific discovery
저자
Swanson, D. R
발행처
North-Holland Pub. Co. [etc.]
원문제공시작년
1980
자료유형
저널기사
원문복사 신청
원문제공마감년
40.
서명
A nonstandard approach to the logical omniscience problem
저자
Fagin, R
발행처
North-Holland Pub. Co. [etc.]
원문제공시작년
1980
자료유형
저널기사
원문복사 신청
원문제공마감년
1
2
3
4
5
6
7
8
9
10
임시보관함보기
하단메뉴