Logic-Based Program Synthesis and Transformation | 東京工業大学附属図書館蔵書検索

>> Google Books

Logic-Based Program Synthesis and Transformation / Fioravanti, John P. Gallagher, John P. Gallagher

資料種別:

電子ブック

出版情報:

SpringerLink Books - AutoHoldings
Springer International Publishing, 2018

著者名:

ISBN:

9783319944593 [3319944592]
9783319944609 [3319944606]

書誌ID:

OB00508778

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

書誌詳細

言語:

英語

東工大ブックレビュー

Loading review information

類似資料:

1 電子ブック Logic Program Synthesis and Transformation International Workshop on Logic Program Synthesis and Transformation, Gallagher, John P. SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	7 電子ブック Logic-Based Program Synthesis and Transformation Hermenegildo Springer eBooks Computer Science, Springer International Publishing
2 図書 Logic program synthesis and transformation : 6th International Workshop, LOPSTR '96, Stockholm, Sweden, August 28-30, 1996 : proceedings International Workshop on Logic Program Synthesis and Transformation, Gallagher, John P. Springer	8 電子ブック Logic-Based Program Synthesis and Transformation Gupta Springer eBooks Computer Science, Springer International Publishing
3 電子ブック Logic Based Program Synthesis and Transformation Hill, Patricia M., Kanade, Takeo Springer eBooks Computer Science, Springer Berlin / Heidelberg	9 電子ブック Logic-Based Program Synthesis and Transformation Alpuente, Mar?a, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg
4 電子ブック Logic-Based Program Synthesis and Transformation Puebla, Germ?n, 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 King, Andy, Kanade, Takeo, King, Andrew Malcolm Springer eBooks Computer Science, 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 Hanus, Michael, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg	12 電子ブック Logic-Based Program Synthesis and Transformation Schreye, Danny, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12