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

>> Google Books

Logic Based Program Synthesis and Transformation / LOPSTR 2004, Sandro Etalle, Takeo Kanade, Josef Kittler

資料種別:

電子ブック

出版情報:

SpringerLink Books - AutoHoldings
Springer Berlin / Heidelberg, 2005

著者名:

ISBN:

9783540266556 [3540266550]
9783540316831 [3540316833]

書誌ID:

OB00498466

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

書誌詳細

その他の標題:	14TH INTERNATIONAL SYMPOSIUM, LOPSTR 2004, VERONA, ITALY, AUGUST 26-28, 2004, REVISED SELECTED PAPERS LOGIC BASED PROGRAM SYNTHESIS & TRANSFORMATION
言語:	英語

ブックレビュー

Loading review information

類似資料:

1 電子ブック Logic Based Program Synthesis and Transformation LOPSTR 2004, Etalle, Sandro, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin / Heidelberg	7 電子ブック Logic-Based Program Synthesis and Transformation Hanus, Michael, Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
2 電子ブック Logic Based Program Synthesis and Transformation : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers Etalle, Sandro., SpringerLink (Online service)	8 電子ブック Logic-Based Program Synthesis and Transformation Schreye, Danny, Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
3 図書 Logic based program synthesis and transformation : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers International Workshop on Logic Program Synthesis and Transformation, Etalle, Sandro Springer	9 電子ブック Logic-Based Program Synthesis and Transformation Alpuente, María, Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
4 電子ブック Logic-Based Program Synthesis and Transformation Hutchison, David; Kanade, Takeo; Kittler, Josef, Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	10 電子ブック Logic Programming Etalle, Sandro, Kanade, Takeo, Kittler, Josef, Truszczynski, Miroslav SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg
5 電子ブック Logic-Based Program Synthesis and Transformation Hutchison, David; Kanade, Takeo; Kittler, Josef Springer eBooks Computer Science, Springer Berlin Heidelberg	11 電子ブック Logic-Based Program Synthesis and Transformation Hutchison, David, Kanade, Takeo, Kittler, Josef, Vidal, Germán SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
6 電子ブック Logic Based Program Synthesis and Transformation Hill, Patricia M., Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg	12 電子ブック Logic Programming Etalle, Sandro, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin / Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12