{totalEditions, plural,
 =0 {# 판본 } 
 one {# 판본 }
 other {# 판본 }
 }
 {totalHoldingCount, plural,
 =0 {in # 도서관} 
 one {in # 도서관}
 other {in # 도서관}
 }

{totalHoldingCount} 도서관의 이 판본

즐겨찾는 도서관을 추가할 수 없습니다.

즐겨찾기 도서관에 {libraryName} 추가됨

즐겨찾는 도서관을 제거할 수 없습니다.

즐겨찾는 도서관에서 {libraryName} 제거됨

{title}에 대한 자세한 레코드를 보려면 이 제목을 선택하십시오.

추가됨: {formattedDate}

모두

도서관의 새로운 소식

소설

{0}-{1} / {total} 목록 표시 중

논픽션

액세스 옵션 보기

라이브러리에서 액세스

{library}에서 대여

{formattedDistance} 떨어짐

대여

{location} 근처의 {institution}에서 대여

온라인 접속

다음을 통해 이 항목을 요청하십시오.

{institution}에서 가져오기

도서관에서 대여

{institution}에서 대여

액세스 옵션을 찾을 수 없습니다. 도서관 카탈로그를 검색하십시오.

인용 목록 {title}

인용

{itemTitle} 인용

{itemTitle} 공유

https://search.worldcat.org 에서 찾은 항목을 확인하십시오.

추가

목록에 {itemTitle} 추가

목록에 추가

공유 목록 {title}

WorldCat.org에서 공유한 항목

출판사

{title}의 모든 형식 및 판본 보기

(학위)논문

모든 형식 및 판본 보기

이 항목이 있는 WorldCat에서 라이브러리를 찾을 수 없습니다.

다음을 통해

액세스

예. 보여주십시오.

권장 사항 생성 중...

귀하의 검색을 기반으로 권장 사항을 만들었습니다.

타사 AI 서비스에서 제공하는 권장 사항입니다. 제목 및 저자 데이터만 공유됩니다.

문제가 발생한 것 같습니다. 나중에 다시 시도해 주십시오.

저희 서비스에 대한 의견을 알려주십시오.

이 항목을 기반으로 권장 사항을 만들 수 있습니다.

당신을 위한 권장 사항

비슷한 제목 살펴보기

이런! :(

ISSN

출연

언어 노트

접근성 노트

메모

종류

ISBN

주제

연주 수단

이벤트 노트

재생 노트

정보를 간략히 보기

시리즈

접근성 컨텐츠

출판

제작진

추가 정보 표시

공연자

추가 물리적 형태 항목

DOI 레코드를 보려면 이 링크를 클릭하십시오.{x}

물리적 설명

OCLC 번호/고유 식별자

대상 청중

음악 작품의 숫자 지정

자세한 정보

컨텐츠

지도제작의 수치 데이터

접근 모드:

보조 기능:

보조 콘텐츠

자료:

주요 콘텐츠

즐겨찾기 도서관의 순서에 따라 경험을 맞춤화합니다.

위치 {1}에서 {0}을(를) 삭제했습니다.

아래에서 도서관을 끌거나 선택하여 순서를 업데이트하십시오.

아래로 이동, {0}을 위치 {1}(으)로

위쪽 및 아래쪽 화살표 키를 사용하여 순서를 변경합니다.

{0}, {2} 도서관 목록에서 순서 {1}

도서관 순서를 저장할 수 없습니다. 다시 시도하십시오.

도서관 순서에 대한 변경 사항을 저장하려면 완료를 누르십시오.

WorldCat.org

Logic in computer science : modelling and reasoning about systems