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

글로벌메뉴

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

검색간략리스트

열거형 테이블형
21.
서명
Cuts and Side-Effects in and-or Parallel Prolog 미리보기
저자
Gupta, G
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
22.
서명
Directional Types and the Annotation Method 미리보기
저자
Boye, J
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
23.
서명
Embedding Revision Programs in Logic Programming Situation Calculus 미리보기
저자
Baral, C
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
24.
서명
Explicit and Implicit Indeterminism: Reasoning about Uncertain and Contradictory Specifications of Dynamic Systems 미리보기
저자
Bornscheuer, S.-E
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
25.
서명
Exploiting Goal Independence in the Analysis of Logic Programs 미리보기
저자
Codish, M
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
26.
서명
Expressiveness of Stable Model Semantics for Disjunctive Logic Programs with Functions 미리보기
저자
Eiter, T
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
27.
서명
Extending Negation as Failure by Abduction: A Three-Valued Stable Model Semantics 미리보기
저자
Giordano, L
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
28.
서명
Extending Prolog with Nonmonotonic Reasoning 미리보기
저자
Chen, W
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
29.
서명
From Context-Free to Definite-Clause Grammars: a Type-Theoretic Approach 미리보기
저자
Haas, J
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
30.
서명
GOLOG: A Logic Programming Language for Dynamic Domains 미리보기
저자
Levesque, H. J
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
31.
서명
Health policy 미리보기
저자
발행처
Elsevier : Elsevier Science Pub. Co.
원문제공시작년
1984-
자료유형
연속간행물 연속간행물 원문복사 신청
원문제공마감년
32.
서명
Incremental Algorithms for Optimizing Model Computation Bases on Partial, Instantiation 미리보기
저자
Ng, R. T
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
33.
서명
Intelligent Data Retrieval in Prolog: An Illuminating Idea 미리보기
저자
Ruggieri, C
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
34.
서명
Intuitionistic Deductive Databases and the Polynomial Time Hierarchy 미리보기
저자
Bonner, A. J
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
35.
서명
The Journal of logic programming 미리보기
저자
Syracuse University Logic Programming Research Center
발행처
Elsevier Science Pub. Co.
원문제공시작년
1984-2000
자료유형
연속간행물 연속간행물 원문복사 신청
원문제공마감년
36.
서명
{log}: A Language for Programming in Logic with Finite Sets 미리보기
저자
Dovier, A
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
37.
서명
Logic and Algebraic Languages for Interoperability in Multidatabase Systems 미리보기
저자
Lakshmanan, L. V. S
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
38.
서명
Logic Programming as a Basis for Lean Automated Deduction 미리보기
저자
Beckert, B
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
39.
서명
Magic Sets With Full Sharing 미리보기
저자
Azevedo, P. J
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
40.
서명
Matching of Bounded Set Terms in the Logic Language LDL^+^+ 미리보기
저자
Arni, N
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
1 2 3 4 
임시보관함보기

하단메뉴