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

주메뉴 바로가기
본문 바로가기(skip to content)
퀵메뉴 바로가기
마이메뉴 바로가기
도서관정보 바로가기

글로벌메뉴

주메뉴

이용안내
원문검색
센터소개
- 소개
- 연혁
- 운영시간
- 조직
게시판
- 이용안내
- 원문검색
- 센터소개
  - 소개
  - 연혁
  - 운영시간
  - 조직
- 게시판

상세정보

|Home >
상세정보

검색결과 돌아가기

부가기능

Parallel propositional satisfiability checking with distributed dynamic learning

기사 상세정보

상세정보

상세정보
자료유형	학술지논문
논문명	Parallel propositional satisfiability checking with distributed dynamic learning
저자명	Blochinger, W.
학술지명	Parallel computing
발행년도	2003
권호사항	Vol.29 No.7
발행처	North-Holland
페이지	969-994p.
언어	eng

소장정보

소장정보

메세지가 없습니다
No.	권호·제본정보 보기	소장처	소장사항	청구기호	구독	최근입수호
1		중앙도서관/3층 연속간행물실/		621.38105 P222	구독중	Vol.34 No.12

서평

서평

태그

태그

태그추가 (로그인 필요)

나의 태그

나의 태그 (0)

모든 이용자 태그

모든 이용자 태그 (0)

하단메뉴