サイトメニューここからこのページの先頭です

ショートカットキーの説明を開始します。画面遷移や機能実行は、説明にあるショートカットキーを同時に押した後、Enterキーを押してください。ショートカットキーの説明を聞くには、Alt+0。トップ画面の表示には、Alt+1。ログインを行うには、Alt+2。簡易検索画面の表示には、Alt+3。詳細検索画面の表示には、Alt+4。障害者向け資料検索画面の表示には、Alt+5。検索結果の並び替えを行うには、Alt+6。国立国会図書館ホームページの表示には、Alt+7。検索結果の絞り込みを行うには、Alt+8。以上でショートカットキーの説明を終わります。

ナビゲーションここから

ナビゲーションここまで

本文ここから

資料種別 図書

Handbook of practical logic and automated reasoning / John Harrison

詳細情報

タイトル Handbook of practical logic and automated reasoning / John Harrison
出版地(国名コード) GB
出版地Cambridge
出版社Cambridge University Press
出版年 2009
大きさ、容量等 xix, 681 p. : ill. ; 26 cm
注記 ISBN : 9780521899574 (hbk.)
注記 Includes bibliographical references and index
ISBN 9780521899574
LCCN Permalinkへのリンク 2009281331
WorldCatへのリンク 244767230
出版年月日等 2009
件名(キーワード) Computer logic
NDLC M154
LCC QA76.9.L63
DDC 006.333
資料の種別 図書
言語(ISO639-2形式) eng : English

本文ここまで

Copyright © 2012 National Diet Library. All Rights Reserved.

フッター ここまで