文献
J-GLOBAL ID：200902189014173207   整理番号：94A0020528

Equality and abductive residua for Horn clauses.

著者 (3件)：
KNILL E

KNILL E について

(Technical Univ. Nova Scotia, Nova Scotia, CAN)

Technical Univ. Nova Scotia, Nova Scotia, CAN について

, 
COX P T

COX P T について

(Technical Univ. Nova Scotia, Nova Scotia, CAN)

Technical Univ. Nova Scotia, Nova Scotia, CAN について

, 
PIETRZYKOWSKI T

PIETRZYKOWSKI T について

(Technical Univ. Nova Scotia, Nova Scotia, CAN)

Technical Univ. Nova Scotia, Nova Scotia, CAN について


資料名：
Theoretical Computer Science  (Theoretical Computer Science)

Theoretical Computer Science について


巻： 120  号： 1  ページ： 1-44  発行年： 1993年11月08日 
JST資料番号： T0022A  ISSN： 0304-3975  CODEN： TCSDIQ  資料種別： 逐次刊行物 (A)
発行国： オランダ (NLD)  言語： 英語 (EN)

前のページに戻る

TOP

BOTTOM