서브메뉴
검색
DNF 논리식에 대한 효율적인 반증 알고리즘
DNF 논리식에 대한 효율적인 반증 알고리즘
Detailed Information
MARC
008190614s2001 ulk aa kor■022 ▼a12296848
■1001 ▼a문교식
■24510▼aDNF 논리식에 대한 효율적인 반증 알고리즘▼d문교식 저
■260 ▼a서울▼b한국정보과학회▼c2001.
■300 ▼app. 662 - 668
■500 ▼a권말 색인 및 참고문헌
■773 ▼t정보과학회논문지 : 소프트웨어 및 응용(Journal of KISS:Software and App▼g제28권 제9호 (2001년 9월)▼d2001, 09
■SIS ▼aS015601▼b60058288▼h8▼s2▼fP
Preview
Export
ChatGPT Discussion
AI Recommended Related Books
detalle info
- Reserva
- No existe
- Mi carpeta
- Reference Materials for Thesis Writing
- Reference Materials for Research Ethics
- Job-Related Books


