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

글로벌메뉴

  • 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건 출력
3/4 페이지 엑셀파일 출력

검색간략리스트

열거형 테이블형
41.
서명
Meta-Programming in CLP(R) 미리보기
저자
Heintze, N
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
42.
서명
Model Generation and State Generation for Disjunctive Logic Programs 미리보기
저자
Seipel, D
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
43.
서명
Nondeterminism Through Well-Founded Choice 미리보기
저자
Chen, W
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
44.
서명
On Delphi Lemmas and Other Memoing Techniques for Deterministic Logic Programs 미리보기
저자
Tarau, P
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
45.
서명
On Integrating Objects and Relations Using Mutilmethods 미리보기
저자
Higgins, C. P
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
46.
서명
On Termination of General Logic Programs W.R.T. Constructive Negation 미리보기
저자
Marchiori, E
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
47.
서명
On the Design of a Correct Freeness Analysis for Logic Programs 미리보기
저자
Codish, M
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
48.
서명
On the Relation Between Situation Calculus and Event Calculus 미리보기
저자
Van Belleghem, K
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
49.
서명
Optimal Groundness Analysis Using Propositional Logic 미리보기
저자
Cortesi, A
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
50.
서명
Optimizing Bottom-Up Evaluation of Constraint Queries 미리보기
저자
Kemp, D. B
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
51.
서명
Order-sorted Feature Theory Unification 미리보기
저자
Ait-Kaci, H
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
52.
서명
Parallel Execution of Logic Programs by Load Sharing 미리보기
저자
Lin, Z
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
53.
서명
Partial Deduction in Disjunctive Logic Programming 미리보기
저자
Sakama, C
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
54.
서명
Polyvariant Detection of Uninitialized Arguments of Prolog Predicates 미리보기
저자
Lindgren, T
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
55.
서명
Prolog for Structured Character Description and Font Design 미리보기
저자
Duerst, M. J
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
56.
서명
Reasoning about Effects of Concurrent Actions 미리보기
저자
Baral, C
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
57.
서명
Reconciling the Event Calculus with the Situation Calculus 미리보기
저자
Kowalski, R
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
58.
서명
Representing Actions in Logic Programs and Default Theories: a SituationCalculus Approach 미리보기
저자
Turner, H
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
59.
서명
Representing Actions: Laws, Observations and Hypotheses 미리보기
저자
Baral, C
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
60.
서명
Rules as Actions: a Situation Calculus Semantics for Logic Programs 미리보기
저자
Lin, F
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
1 2 3 4 
임시보관함보기

하단메뉴