Automated Reasoning and Mathematics | 東京工業大学附属図書館蔵書検索

>> Google Books

Automated Reasoning and Mathematics / David; Kanade, Takeo; Kittler, Josef Hutchison

資料種別:: 電子ブック
出版情報:: Springer eBooks Computer Science
Springer Berlin Heidelberg, 2013
著者名:: Hutchison, David; Kanade, Takeo; Kittler, Josef
ISBN:: 9783642366741 [3642366740]
9783642366758 [3642366759]
書誌ID:: OB00357055

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

書誌詳細

主題:	Information Technology - Artificial Intelligence
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 電子ブック Automated Reasoning and Mathematics Hutchison, David; Kanade, Takeo; Kittler, Josef, Kittler, Josef, Stickel, Mark E. SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	7 電子ブック Automated Reasoning with Analytic Tableaux and Related Methods Giese, Martin, Kanade, Takeo, Waaler, Arild, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
2 電子ブック Automated Deduction – CADE-24 Hutchison, David; Kanade, Takeo; Kittler, Josef, Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	8 電子ブック Transactions on Computational Collective Intelligence IX Hutchison, David; Kanade, Takeo; Kittler, Josef, Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
3 電子ブック Automated Deduction ? CADE-24 Hutchison, David; Kanade, Takeo; Kittler, Josef Springer eBooks Computer Science, Springer Berlin Heidelberg	9 電子ブック Transactions on Computational Collective Intelligence X Hutchison, David; Kanade, Takeo; Kittler, Josef, Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
4 電子ブック Automated Reasoning Furbach, Ulrich, Kanade, Takeo, Shankar, N., Shankar, Natarajan, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	10 電子ブック Your Virtual Butler Hutchison, David; Kanade, Takeo; Kittler, Josef, Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
5 電子ブック Reasoning Web. Semantic Technologies for Advanced Query Answering Hutchison, David, Kanade, Takeo, Kittler, Josef, Krennwallner, Thomas SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	11 電子ブック Integrated Uncertainty in Knowledge Modelling and Decision Making Hutchison, David; Kanade, Takeo; Kittler, Josef Springer eBooks Computer Science, Springer Berlin Heidelberg
6 電子ブック Automated Reasoning with Analytic Tableaux and Related Methods TABLEAUX 2005, Beckert, Bernhard, Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg	12 電子ブック Statistical Language and Speech Processing Hutchison, David; Kanade, Takeo; Kittler, Josef Springer eBooks Computer Science, Springer Berlin Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12