본문

서브메뉴

검색

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

Detailed Information

자료유형  
 기사
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

Preview

Export

ChatGPT Discussion

AI Recommended Related Books


    New Books MORE
    Related books MORE
    Statistics for the past 3 years. Go to brief
    Recommend

    detalle info

    • Reserva
    • No existe
    • Mi carpeta
    • Reference Materials for Thesis Writing
    • Reference Materials for Research Ethics
    • Job-Related Books
    Material
    número de libro número de llamada Ubicación estado Prestar info
    AR109117 P   참고자료실(관광학관2층) 대출불가 대출불가
    My Folder 부재도서신고

    * Las reservas están disponibles en el libro de préstamos. Para hacer reservaciones, haga clic en el botón de reserva

    Books borrowed together with this book

    Related books

    Related Popular Books

    도서위치