대구한의대학교 향산도서관

상세정보

부가기능

An Industrial Strength Theorem Prover for a Logic Based on Common Lisp

기사 상세정보

상세정보
상세정보
자료유형기사
기사명An Industrial Strength Theorem Prover for a Logic Based on Common Lisp :
저자명M.Kaufmann J.S.Moore
발행/형태사항: IEEE computer society, 1997
수록잡지명IEEE Transactions on software engineering : 1997년 04월 Vol.23 No.4
페이지203-213

소장정보

  • 소장정보

메세지가 없습니다
No. 소장처 소장사항 청구기호 구독 최근입수호 권호·제본정보 보기
1 삼성캠퍼스/연속간행물실(2층)/ 005 I22 구독중단 1999년 3,4월 Vol.25 No.2 권호정보 제본정보
2 오성캠퍼스/보존서고/ 005 I22 제본정보

서평(리뷰)

  • 서평(리뷰)

태그

  • 태그

나의 태그

나의 태그 (0)

모든 이용자 태그

모든 이용자 태그 (0) 태그 목록형 보기 태그 구름형 보기