Logic-Based Program Synthesis and Transformation | 東京科学大学図書館　蔵書検索（大岡山図書館、すずかけ台図書館）

>> Google Books

Logic-Based Program Synthesis and Transformation / Danny Schreye, Takeo Kanade

資料種別:

電子ブック

出版情報:

Springer eBooks Computer Science
Springer Berlin Heidelberg, 2010

著者名:

ISBN:

9783642125911 [3642125913]
9786613564252 [6613564257]

書誌ID:

OB00355494

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

書誌詳細

言語:

英語

ブックレビュー

Loading review information

類似資料:

1 電子ブック Logic-Based Program Synthesis and Transformation Schreye, Danny, Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	7 電子ブック Logic Based Program Synthesis and Transformation Hill, Patricia M., Kanade, Takeo Springer eBooks Computer Science, Springer Berlin / Heidelberg
2 電子ブック Logic-Based Program Synthesis and Transformation Hanus, Michael, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg	8 電子ブック Logic-Based Program Synthesis and Transformation Puebla, Germ?n, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg
3 電子ブック Logic-Based Program Synthesis and Transformation Alpuente, Mar?a, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg	9 電子ブック Logic-Based Program Synthesis and Transformation King, Andy, Kanade, Takeo, King, Andrew Malcolm Springer eBooks Computer Science, Springer Berlin Heidelberg
4 電子ブック Logic-Based Program Synthesis and Transformation Hutchison, David, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg	10 電子ブック Logic-Based Program Synthesis and Transformation Hutchison, David; Kanade, Takeo; Kittler, Josef Springer eBooks Computer Science, Springer Berlin Heidelberg
5 電子ブック Logic-Based Program Synthesis and Transformation Puebla, Germán, Kanade, Takeo SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	11 電子ブック Logic Based Program Synthesis and Transformation LOPSTR 2004, Etalle, Sandro, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin / Heidelberg
6 電子ブック Logic-Based Program Synthesis and Transformation Hutchison, David; Kanade, Takeo; Kittler, Josef, Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	12 電子ブック Logic Based Program Synthesis and Transformation Hill, Patricia M., Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12