文献
J-GLOBAL ID:200902002808656722
整理番号:92A0419218
Inconsistency checking:An approach based on satisfiability.
著者 (2件):
BHARADWAJ R M
(Indian Inst. Technology, Madras, IND)
,
PARAMESWARAN N
(Univ. New South Wales, NSW, AUS)
資料名:
Proceedings of SPIE
(Proceedings of SPIE)
巻:
1707
ページ:
47-53
発行年:
1992年
JST資料番号:
D0943A
ISSN:
0277-786X
CODEN:
PSISDG
資料種別:
会議録 (C)
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)