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

글로벌메뉴

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

검색간략리스트

열거형 테이블형
1.
서명
A Confluent Semantic Basis for the Analysis of Concurrent Constraint Logic Programs 미리보기
저자
Codish, M
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
2.
서명
A Fixpoint Characterization of Abductive Logic Programs 미리보기
저자
Inoue, K
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
3.
서명
Algebraic and Logical Semantics for CLP Languages With Dynamic Scheduling 미리보기
저자
Marriott, K
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
4.
서명
A Logical Semantics for Hypothetical Rulebases With Deletion 미리보기
저자
Bonner, A. J
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
5.
서명
Amalgamating Knowledge Bases, III: Algorithms, Data Structures, and Query Processing 미리보기
저자
Adali, S
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
6.
서명
A New Term Representation Method for Prolog 미리보기
저자
Li, X
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
7.
서명
A Note on Semantics of Logic Programs With Equality Based on Complete Sets of E-Unifiers 미리보기
저자
Degtyarev, A
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
8.
서명
A Parallel Prolog System for Distributed Memory 미리보기
저자
Araujo, L
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
9.
서명
A Platform for Restriction Mapping 미리보기
저자
Yee, C. N
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
10.
서명
Applying Interval Arithmetic to Real, Integer, and Boolean Constraints 미리보기
저자
Benhamou, F
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
11.
서명
A Simple Approach to Supporting Untagged Objects in Dynamically Typed Languages 미리보기
저자
Bigot, P. A
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
12.
서명
A Simple Declarative Language for Describing Narratives with Actions 미리보기
저자
Kakas, A
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
13.
서명
A Tool for Developing Interactive Configuration Applications 미리보기
저자
Axling, T
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
14.
서명
Characterizations of the Disjunctive Stable Semantics by Partial Evaluation 미리보기
저자
Brass, S
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
15.
서명
Characterizing Logic Grammars: A Substructural Logic Approach 미리보기
저자
Andrews, J
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
16.
서명
Compiling Constraints in clp (FD) 미리보기
저자
Codognet, P
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
17.
서명
Completeness of SLDNF-Resolution for Nonfloundering Queries 미리보기
저자
Drabent, W
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
18.
서명
Computer Support for Protocol-Based Treatment of Cancer 미리보기
저자
Hammond, P
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
19.
서명
Constraint Logic Programming for Examination Timetabling 미리보기
저자
Boizumault, P
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
20.
서명
Constructive Negation by Pruning 미리보기
저자
Fages, F
발행처
Elsevier Science Pub. Co
원문제공시작년
1980
자료유형
저널기사 저널기사 원문복사 신청
원문제공마감년
1 2 3 4 
임시보관함보기

하단메뉴