논리언어에서의 제약조건해결기 구현 및 최적화에 관한 연구

윤문환 ,  조근식

한국정보과학회 학술발표논문집

1993 .10

논리언어에서 최적화문제를 위한 제약해결기의 구현

오윤상 ,  조근식

한국정보과학회 학술발표논문집

1994 .04

논리언어에서의 정수 프로그래밍을 위한 제약조건 해결기의 구현

오윤상 ,  이재용

대한전자공학회 학술대회

1996 .11

논리언어에서의 정수 프로그래밍을 위한 제약조건 해결기의 구현 ( Constraint Solver for Integer Programming in Logic Programming )

오윤상 ,  이재용

대한전자공학회 학술대회

1996 .11

인공지능에서 정수 프로그래밍을 위한 제약조건 해결기의 구현

오윤상 ,  조근식

대한산업공학회 춘계공동학술대회 논문집

1994 .04

Prolog / C 언어를 이용한 기능 레벨 시뮬레이션 ( Functional Level Simulation using Prolog / C Languages )

윤찬수 ,  박찬규 ,  박홍준 외 3명

대한전자공학회 학술대회

1989 .07

Prolog를 이용한 논리회로 합성

공기석 ,  조동섭 ,  황희융

대한전기학회 학술대회 논문집

1985 .07

PROLOG에 의한 D-algorithm의 具現에 관한 研究

金明起 ,  文榮得

전기학회논문지

1986 .03

Prolog의 기초와 Prolog 프로그램의 병렬 실행

이호석 ,  이주홍 ,  권혁철 외 1명

한국정보과학회 학술발표논문집

1984 .04

PROLOG로 부터 C 언어로의 코드변환 기법

김희철

정보과학회논문지(B)

1998 .11

Prolog를 이용한 논리회로의 기능적 시뮬레이션 ( Functional Simulation of Logic Circuits by Prolog )

김종성 ,  조순복 ,  박홍준 외 1명

대한전자공학회 학술대회

1987 .07

Prolog 를 이용한 논리회로의 기능적 시뮬레이션

김종성 ,  조순복 ,  박흥준 외 1명

대한전기학회 학술대회 논문집

1987 .07

Prolog를 이용한 관계 데이타베이스 시스템의 설계 및 구현

석윤영 ,  정순홍 ,  한기준

한국정보과학회 학술발표논문집

1992 .04

블록 구조가 지원되는 B-Prolog의 설계와 번역기 구현에 관한 연구 ( A Study on the Design and Implementation of the B-Prolog Supported Block Structure )

박준언 ,  강병욱

대한전자공학회 학술대회

1990 .11

Prolog에 의한 순서논리회로의 시뮬레이션 ( Sequential Logic Circuits Simulation by Prolog )

함승재 ,  김창성 ,  임인철

대한전자공학회 학술대회

1986 .01

Prolog에 의한 순서논리회로의 시뮬레이션

함승재 ,  김창성 ,  임인칠

대한전자공학회 학술대회

1986 .06

The Implementation and Performance of the TC-Prolog System

Hie Cheol Kim ,  Yong Soo Lee ,  Jean Luc Gaudiot

ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications

1998 .01

워렌 추상기계와 한정도메인 제약식프로그램의 구조를 이용한 혼합형 문제해결기 구현에 대한 탐색적 연구

김학진

지능정보연구

2004 .11