Showing results 1 to 2 of 2
(A) formalization of backward execution in parallel evaluation of logic programs = 논리 프로그램의 병렬 수행에서 후방향 수행의 정형화link Lee, Su-Hyun; 이수현; et al, 한국과학기술원, 1994 |
가드를 가지는 논리언어를 위한 병렬 수행기의 구현 = An implementation of the parallel evaluator for a guarded logic languagelink 이수현; Lee, Su-Hyun; et al, 한국과학기술원, 1989 |
Discover