본문

서브메뉴

검색

  1. Home
DNF 논리식에 대한 효율적인 반증 알고리즘
DNF 논리식에 대한 효율적인 반증 알고리즘 / 문교식 저
DNF 논리식에 대한 효율적인 반증 알고리즘

상세정보

자료유형  
 기사
ISSN  
12296848
저자명  
문교식
서명/저자  
DNF 논리식에 대한 효율적인 반증 알고리즘 / 문교식 저
발행사항  
서울 : 한국정보과학회, 2001.
형태사항  
pp. 662 - 668
주기사항  
권말 색인 및 참고문헌
기본자료저록  
정보과학회논문지 : 소프트웨어 및 응용(Journal of KISS:Software and App : 제28권 제9호 (2001년 9월) 2001, 09
모체레코드  
모체정보확인
Control Number  
kjul:60223785

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

미리보기

내보내기

chatGPT토론

Ai 추천 관련 도서


    신착도서 더보기
    관련도서 더보기
    최근 3년간 통계입니다.
    추천하기

    소장정보

    • 예약
    • 서가에 없는 책 신고
    • 나의폴더
    • 논문작성 참고자료
    • 연구윤리 참고자료
    • 취업관련도서
    소장자료
    등록번호 청구기호 소장처 대출가능여부 대출정보
    AR109117 P   참고자료실(관광학관2층) 대출불가 대출불가
    마이폴더 부재도서신고

    * 대출중인 자료에 한하여 예약이 가능합니다. 예약을 원하시면 예약버튼을 클릭하십시오.

    해당 도서를 다른 이용자가 함께 대출한 도서

    관련도서

    관련 인기도서

    도서위치