文献
J-GLOBAL ID：200902002808656722   整理番号：92A0419218

Inconsistency checking:An approach based on satisfiability.

著者 (2件)：
BHARADWAJ R M

BHARADWAJ R M について

(Indian Inst. Technology, Madras, IND)

Indian Inst. Technology, Madras, IND について

, 
PARAMESWARAN N

PARAMESWARAN N について

(Univ. New South Wales, NSW, AUS)

Univ. New South Wales, NSW, AUS について


資料名：
Proceedings of SPIE  (Proceedings of SPIE)

Proceedings of SPIE について


巻： 1707  ページ： 47-53  発行年： 1992年 
JST資料番号： D0943A  ISSN： 0277-786X  CODEN： PSISDG  資料種別： 会議録 (C)
発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

前のページに戻る

TOP

BOTTOM