メインコンテンツに移動

このページのQRコード

Logic-based program synthesis and transformation : 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 : selected papers

書誌情報を取り込む
フォーマット
  • 図書
責任表示
Annalisa Bossi (ed.)
出版情報
  • Berlin : Springer , c2000
形態
  • viii, 312 p.  :  ill.  ;  24 cm
ISBN
  • 9783540676287 [3540676287]
シリーズ名
著者名
書誌ID
  • BA47210113
注記
  • Includes bibliographical references
E-Resources
Loading...
Loading...
Loading...
言語
  • 英語
分類・件名
  • LCC：QA76.63
  • LCSH：Logic programming--Congresses
主題
タイトルが類似している資料
類似資料
図書

Logic based program synthesis and transformation : 10th International Workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers

International Workshop on Logic Program Synthesis and Transformation Lau, K.-K. (Kung-Kiu), 1953-
Springer, c2001
図書

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, c1999
図書

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, c1997
図書

Implementation of functional languages : 11th International Workshop, IFL'99, Lochem, the Netherlands, September 7-10, 1999 : selected papers

International Workshop on the Implementation of Functional Languages Koopman, Pieter Clack, Chris
Springer, c2000
図書

Types for proofs and programs : International Workshop, TYPES '99, Lökeberg, Sweden, June 12-16, 1999 : selected papers

International Workshop on TYPES Coquand, Thierry, 1961-
Springer, c2000
図書

Types for proofs and programs : International Workshop TYPES '95, Torino, Italy, June 5-8, 1995 : selected papers

International Workshop on TYPES Berardi, Stefano Coppo, Mario
Springer, c1996
図書

Implementation of functional languages : 10th International Workshop, IFL '98, London, UK, September 9-11, 1998 : selected papers

International Workshop on the Implementation of Functional Languages Hammond, Kevin Davie, A. J. T. (Antony J. T.), 1939- Clack, Chris
Springer, c1999
図書

Types for proofs and programs : International Workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers

International Workshop on TYPES Barendregt, H. P. (Hendrik Pieter), 1947- Nipkow, Tobias, 1958-
Springer-Verlag, c1994
図書

Implementation of functional languages : 9th International Workshop, IFL '97 St. Andrews, Scotland, UK, September 10-12, 1997 : selected papers

International Workshop on the Implementation of Functional Languages Clack, Chris Hammond, Kevin Davie, A. J. T. (Antony J. T.), 1939-
Springer, c1998
図書

Implementation of functional languages : 12th International Workshop, IFL 2000, Aachen, Germany, September 4-7, 2000 : selected papers

International Workshop on the Implementation of Functional Languages Mohnen, Markus, 1967- Koopman, Pieter
Springer, c2001
図書

Implementation of functional languages : 8th International Workshop, IFL '96 Bad Godesberg, Germany, September 16-18, 1996 : selected papers

International Workshop on the Implementation of Functional Languages Kluge, Werner
Springer, c1997
図書

Applications of graph transformations with industrial relevance : International Workshop, AGTIVE '99, Kerkrade, the Netherlands, September 1-3, 1999 : proceedings

AGTIVE Nagl, Manfred, 1944- Schürr, Andreas Münch, Manfred, 1971-
Springer, c2000
図書

Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings

Foundations of Logic and Functional Programming Workshop Boscarol, Mauro, 1947- Carlucci Aiello, Luigia, 1946- Levi, Giorgio, 1942-
Springer-Verlag, c1988
図書

Types for proofs and programs : International Workshop TYPES '94, Båstad, Sweden, June 6-10, 1994 : selected papers

International Workshop on TYPES Dybjer, Peter Nordström, Bengt Smith, Jan M
Springer-Verlag, c1995
図書

Types for proofs and programs : International Workshop TYPES '96, Aussois, France, December 15-19, 1996 : selected papers

International Workshop on TYPES Giménez, Eduardo, 1967- Paulin-Mohring, Christine, 1962-
Springer, c1998
図書

Types for proofs and programs : International Workshop TYPES '98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers

International Workshop on TYPES Altenkirch, Thorsten, 1962- Naraschewski, Wolfgang, 1970- Reus, Bernhard, 1965-
Springer, c1999
図書

Programming languages implementation and logic programming : International Workshop PLILP '88, Orléans, France, May 16-18, 1988 : proceedings

International Workshop PLILP Deransart, Pierre, 1945- Lorho, Bernard Małuszyński, Jan, 1941-
Springer-Verlag, c1989
図書

Programming languages : implementations, logics, and programs : 9th International Symposium, PLILP '97 including a special track on declarative programming languages in education, Southampton, UK, September 3-5, 1997 : proceedings

International Symposium, PLILP Glaser, Hugh Hartel, Pieter H. Kuchen, Herbert R., 1958-
Springer, c1997
図書

Computer science logic : 15th International Workshop, CSL 2001, 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings

Workshop on Computer Science Logic European Association for Computer Science Logic Fribourg, Laurent, 1957-
Springer, c2001
図書

Meta-programming in logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings

International Workshop, META Pettorossi, A. (Alberto), 1947-
Springer-Verlag, c1992