>> Google Books
所蔵情報QRコード

Logic based program synthesis and transformation : 13th International Symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 : revised selected papers / Maurice Bruynooghe (ed.)

資料種別:
図書
出版情報:
Berlin ; Tokyo : Springer, c2004
形態:
x, 232 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 3018 <BA00009279>
著者名:
ISBN:
9783540221746 [3540221743]
書誌ID:
BA68005961
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Logic based program synthesis and transformation : 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : revised selected papers

International Workshop on Logic Program Synthesis and Transformation, Leuschel, Michael

Springer
7 図書 Logic based program synthesis and transformation : 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005 : revised selected papers

International Workshop on Logic Program Synthesis and Transformation, Hill, Patricia M.

Springer
2 電子ブック Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers

Falaschi

Springer eBooks Computer Science, Springer International Publishing
8 電子ブック Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers

Proietti, Seki, Hirohisa

SpringerLink Books - AutoHoldings, Springer International Publishing
3 電子ブック Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers

Falaschi

SpringerLink Books - AutoHoldings, Springer International Publishing
9 電子ブック Logic-Based Program Synthesis and Transformation: 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers

Gabbrielli

SpringerLink Books - AutoHoldings, Springer International Publishing
4 図書 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
10 図書 Programming language implementation and logic programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993 : proceedings (: us ; : gw)

International Symposium, PLILP, Bruynooghe, M. (Maurice), Penjam, Jaan, 1955-

Springer-Verlag
5 電子ブック Logic Based Program Synthesis and Transformation

LOPSTR 2003, Bruynooghe, Maurice

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
11 図書 Logic-based program synthesis and transformation : 8th international workshop, LOPSTR '98, Manchester, UK, June 15-19, 1998 : selected papers

International Workshop on Logic-Based Program Synthesis and Transformation, Flener, Pierre, 1964-

Springer
6 電子ブック Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers

Proietti

Springer eBooks Computer Science, Springer International Publishing
12 図書 Logic-based program synthesis and transformation : 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 : selected papers

International Workshop on Logic Program Synthesis and Transformation, Bossi, Annalisa, 1948-

Springer
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12