スライド{0}/{1}が表示されています

{totalEditions, plural,
 =0 {# 件の版 } 
 one {# 件の版 }
 other {# 件の版 }
 }
 {totalHoldingCount, plural,
 =0 {in # 件の図書館} 
 one {in # library}
 other {in # 件の図書館}
 }

{totalHoldingCount}館の図書館のこの版

お気に入りの図書館に追加できません

{libraryName}をお気に入りの図書館に追加

お気に入りの図書館を削除できません

お気に入りの図書館から{libraryName}を削除

このタイトルを選択すると、{title}の詳細レコードが表示されます

追加：{formattedDate}。

すべて

図書館の最新情報

フィクション

{0}-{1}/{total}件の資料を表示

ノンフィクション

アクセスオプションの表示

所属図書館からアクセス

{library}から借受

{formattedDistance}の距離

借受

{institution}の近くの{location}から借受

オンラインでアクセス

この資料のリクエスト元：

{institution}から入手

図書館から借受

{institution}から借受

アクセスオプションが見つかりません。図書館のカタログを検索します。

引用リスト{title}

引用

{itemTitle}を引用

{itemTitle}を共有

https://search.worldcat.orgで検索したこの資料を貸出

追加

リストに{itemTitle}を追加

共有

リストに追加

共有リスト{title}

WorldCAT.orgから共有された資料

出版社

{title}のすべてのフォーマットと版を表示

学位論文

すべてのフォーマットと版を表示

この資料を所蔵するWorldCatの図書館は見つかりませんでした。

経由

アクセス

入力してください

推奨事項を生成しています...

検索内容に基づいて推奨事項を作成しました。

推奨事項は、サードパーティのAIサービスによって提供されます。タイトルと著者のデータのみが共有されます。

問題が発生したようです。後でもう一度お試しください。

状況を教えてください

この資料に基づいて、推奨事項を作成することができます。

お客様の推奨事項

類似タイトルを検索

おっと！残念。

サインイン

推奨事項を作成するには、サインインしてください。

ISSN

キャスト

言語の注記

ユーザー補助の注記

注記

ジャンル

ISBN

件名

演奏の媒体

イベント注記

複製に関する注記

表示情報を減らす

シリーズ

アクセシビリティコンテンツ

出版物

製作協力者

表示情報を増やす

出演者

他の物理形状エントリ

このリンクをクリックすると、DOIレコード{x}が表示されます

物理的な説明

OCLC番号/固有識別子

対象利用者

音楽作品の数字表示

詳細情報

コンテンツ

地図製作数値データ

アクセスモード：

補助機能：

二次コンテンツ

資料：

主要コンテンツ

お気に入り図書館の順序で環境をカスタマイズします。

位置{1}に{0}をドロップしています

以下から図書館をドラッグまたは選択し、順序を更新します

{0}件のお気に入り図書館を表示

上下矢印キーを使用して順序を変更します

{0}、{2}件の図書館のリストの{1}の順序を設定

図書館の順序を保存できません。もう一度お試しください

図書館の順序変更を保存するには、「完了」を押します

図書館の順序を任意に編集する

WorldCat.org

Logic in computer science : modelling and reasoning about systems