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

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

ナビゲーションここから

ナビゲーションここまで

本文ここから

資料種別 会議録

Theorem proving in higher order logics : 22nd international conference, TPHOLs 2009 : Munich, Germany, August 17-20, 2009 : proceedings. : Aug 2009, Munich, Germany

詳細情報

タイトル Theorem proving in higher order logics : 22nd international conference, TPHOLs 2009 : Munich, Germany, August 17-20, 2009 : proceedings. : Aug 2009, Munich, Germany
シリーズ名 Lecture Notes in Computer Science, 5674
出版地(国名コード) DE
出版地Berlin
出版社Springer
出版年月日等 c2009
大きさ、容量等 xi, 515 p. : ill. ; 24 cm
注記 ISBN : 9783642033582 (ISBN-13)
注記 Selected papers
注記 "The TPHOLs conference traditionally changes continents each year to (...) " -- pref
注記 Includes bibliographical references and author index
ISBN 9783642033582
ISBN 364203358X
ISSN 03029743
OCLC番号 618771626
出版年(W3CDTF) 2009
件名(キーワード) Automatic Theorem Proving
件名(キーワード) Logic Programming
件名(キーワード) Automatisches Beweisverfahren
件名(キーワード) HOL
件名(キーワード) Kongress
件名(キーワード) München (2009)
NDLC M17
DDC 004n/a
資料の種別 図書
資料の種別 会議録
言語(ISO639-2形式) eng : English

本文ここまで

Copyright © 2012 National Diet Library. All Rights Reserved.

フッター ここまで