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

글로벌메뉴

  • HOME
  • sitemap

주메뉴

CNU Search

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

검색간략리스트

열거형 테이블형
21.
서명
Representing Actions: Laws, Observations and Hypotheses 미리보기
저자
Baral, C
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
22.
서명
Parallel Execution of Logic Programs by Load Sharing 미리보기
저자
Lin, Z
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
23.
서명
On Delphi Lemmas and Other Memoing Techniques for Deterministic Logic Programs 미리보기
저자
Tarau, P
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
24.
서명
The Relationship Between Logic Programs and Specification the Subset Example Revisited 미리보기
저자
Lau, K.-K
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
25.
서명
Incremental Algorithms for Optimizing Model Computation Bases on Partial, Instantiation 미리보기
저자
Ng, R. T
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
26.
서명
Magic Sets With Full Sharing 미리보기
저자
Azevedo, P. J
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
27.
서명
A Simple Declarative Language for Describing Narratives with Actions 미리보기
저자
Kakas, A
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
28.
서명
Explicit and Implicit Indeterminism: Reasoning about Uncertain and Contradictory Specifications of Dynamic Systems 미리보기
저자
Bornscheuer, S.-E
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
29.
서명
Model Generation and State Generation for Disjunctive Logic Programs 미리보기
저자
Seipel, D
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
30.
서명
Applying Interval Arithmetic to Real, Integer, and Boolean Constraints 미리보기
저자
Benhamou, F
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
1 2 3 4 5 6 7 
임시보관함보기

하단메뉴