서브메뉴
검색
Knowledge Base Decomposition to Facilitate Verification
Knowledge Base Decomposition to Facilitate Verification
상세정보
- 자료유형
- 기사
- ISSN
- 10477047
- 저자명
- Sumit Sarkar
- 서명/저자
- Knowledge Base Decomposition to Facilitate Verification / Sumit Sarkar , Mysore Ramaswamy
- 발행사항
- Providence, RI : Informs, 2000.
- 형태사항
- pp. 260-283
- 주기사항
- 참고문헌수록
- 기타저자
- Mysore Ramaswamy
- 원문정보
- url
- 모체레코드
- 모체정보확인
- Control Number
- kjul:60260017
MARC
008200811s2000 ai aa eng■022 ▼a10477047
■1001 ▼aSumit Sarkar
■24510▼aKnowledge Base Decomposition to Facilitate Verification▼dSumit Sarkar▼eMysore Ramaswamy
■260 ▼aProvidence, RI▼bInforms▼c2000.
■300 ▼app. 260-283
■500 ▼a참고문헌수록
■7001 ▼aMysore Ramaswamy
■773 ▼tInformation systems research=ISR▼gVol. 11 No. 3 (2000. 9)▼d2000, 09
■856 ▼uhttp://www.informs.org
■SIS ▼aS030028▼b60077698▼h8▼s2▼fP
