コンテンツを見る
Library Home
Start Over
Research Databases
E-Journals
講義資料
Library Home
ログイン
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
言語
Library Catalog
全フィールド
タイトル
著者
主題
請求記号
ISBN/ISSN
検索
詳細検索
|
ブラウズ
|
検索方法
Automated Reasoning
この資料を引用
この資料をSMS送信
この資料をメール
印刷
エクスポート
エクスポート先: RefWorks
エクスポート先: EndNoteWeb
エクスポート先: EndNote
お気に入りに追加
パーマネントリンク
Automated Reasoning 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings / edited by Alessandro Armando, Peter Baumgartner, Gilles Dowek.
保存先:
書誌詳細
団体著者:
SpringerLink (Online service)
その他の著者:
Armando, Alessandro
(編集者)
,
Baumgartner, Peter
(編集者)
,
Dowek, Gilles
(編集者)
フォーマット:
eBook
言語:
English
出版事項:
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2008.
版:
1st ed. 2008.
シリーズ:
Lecture Notes in Artificial Intelligence ;
5195
Springer eBook Collection.
主題:
Artificial intelligence.
Software engineering.
Computer programming.
Mathematical logic.
Computer logic.
Electronic resources (E-books)
オンライン・アクセス:
Click to view e-book
Holy Cross Note:
Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
所蔵
その他の書誌記述
目次
類似資料
MARC表示
ログイン (予約・返却請求情報入力)
インターネット
Click to view e-book
Online
予約・返却請求 Online
請求記号:
E-Book
Copy 1
利用可
類似資料
Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings
出版事項: (2010)
Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings
出版事項: (2016)
Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings
出版事項: (2018)
Automated Reasoning Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings
出版事項: (2004)
Automated Reasoning Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
出版事項: (2006)