충남대학교외국학술지지원센터

글로벌메뉴

  • HOME
  • sitemap

주메뉴


상세정보

  • |Home >
  • 상세정보

부가기능

Weak, strong, and strong cyclic planning via symbolic model checking

기사 상세정보

상세정보
상세정보
자료유형학술지논문
논문명Weak, strong, and strong cyclic planning via symbolic model checking
저자명Cimatti, A.
학술지명Artificial intelligence
발행년도2003
권호사항Vol.147 No.1/2
발행처North-Holland Pub. Co. [etc.]
페이지p.35-84
언어eng

소장정보

  • 소장정보

메세지가 없습니다
No. 권호·제본정보 보기 소장처 소장사항 청구기호 구독 최근입수호
1 중앙도서관/3층 연속간행물(보존)/ 001.53505 A791
2 중앙도서관/3층 연속간행물실/ 001.53505 A791 구독중 Vol.172 No.18

서평

  • 서평

태그

  • 태그

나의 태그

나의 태그 (0)

모든 이용자 태그

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

하단메뉴