メインコンテンツに移動

このページのQRコード

Principles of declarative programming : 10th International Symposium, PLILP'98 held jointly with the 6th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998 : proceedings

書誌情報を取り込む
フォーマット
  • 図書
責任表示
Catuscia Palamidessi, Hugh Glaser, Karl Meinke (eds.)
出版情報
  • Berlin ; Tokyo : Springer , c1998
形態
  • xi, 497 p.  :  ill.  ;  24 cm
ISBN
  • 9783540650126 [3540650121]
シリーズ名
著者名
書誌ID
  • BA38085214
注記
  • Includes bibliographical references and index
E-Resources
Loading...
Loading...
Loading...
言語
  • 英語
分類・件名
  • LCSH：Programming languages (Electronic computers)--Congresses
  • LCSH：Electronic digital computers--Programming--Congresses
主題
タイトルが類似している資料
類似資料
図書

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

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 and systems : 7th European Symposium on Programming, ESOP '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings

European Symposium on Programming European Conferences on Theory and Practice of Software Hankin, Chris
Springer-Verlag, c1998
図書

Programming languages and systems : 10th European Symposium on Programming, ESOP 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings

European Symposium on Programming Sands, David European Conferences on Theory and Practice of Software
Springer, c2001
図書

Mathematics of program construction : 4th International Conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings

International Conference on the Mathematics of Program Construction Jeuring, Johan, 1965-
Springer, c1998
図書

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

International Symposium on Programming : 6th colloquium, Toulouse, April 17-19, 1984 : proceedings

International symposium on programming Paul, Manfred, 1932- Robinet, Bernard, 1941-
Springer-Verlag, 1984
図書

Graph drawing : 5th International Symposium, GD'97, Rome, Italy, September 18-20, 1997 : proceedings

Symposium on Graph Drawing Di Battista, Giuseppe
Springer Verlag, c1997
図書

Logic for programming and automated reasoning : 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings

LPAR Parigot, Michel Voronkov, A. (Andreĭ), 1959-
Springer-Verlag, c2000
図書

Programming languages and systems -- ESOP '96 : 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996 : proceedings

European Symposium on Programming Nielson, Hanne Riis, 1954-
Springer-Verlag, c1996
図書

Programming languages and systems : 9th European Symposium on Programming, ESOP 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings

European Symposium on Programming Smolka, Gert European Conferences on Theory and Practice of Software
Springer, c2000
図書

Evolutionary programming VII : 7th International Conference, EP98, San Diego, California, USA, March 25-27, 1998 : proceedings

Conference on Evolutionary Programming Porto, V. W. (V. William) IEEE Neural Networks Council
Springer, c1998
図書

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

Semantics, applications, and implementation of program generation : Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001 : proceedings

SAIG Taha, Walid, 1972-
Springer, c2001
図書

Automated deduction--CADE-16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings

International Conference on Automated Deduction Ganzinger, Harald, 1950-
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
図書

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

Design and implementation of symbolic computation systems : International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings

International Symposium on Design and Implementation of Symbolic Computation Systems Calmet, Jacques, 1941- Limongelli, Carla
Springer, c1996
図書

Discovery science : first International Conference, DS '98, Fukuoka, Japan, December 14-16, 1998 : proceedings

International Conference on Discovery Science 有川, 節夫 元田, 浩
Springer, c1998
図書

Programming languages and systems, ESOP '94 : 5th European Symposium on Programming, Edinburgh, U.K., April 11-13, 1994 : proceedings

European Symposium on Programming Sannella, Donald, 1956-
Springer-Verlag, c1994