メインコンテンツに移動

このページのQRコード

Functional and logic programming : 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001 : proceedings

書誌情報を取り込む
フォーマット
  • 図書
責任表示
Herbert Kuchen, Kazunori Ueda (eds.)
出版情報
  • Berlin : Springer , c2001
形態
  • x, 389 p.  :  ill.  ;  24 cm
ISBN
  • 9783540417392 [3540417397]
シリーズ名
著者名
書誌ID
  • BA50854941
注記
  • Includes bibliographical references and index
E-Resources
Loading...
Loading...
Loading...
著者の読み
  • ウエダ, カズノリ
言語
  • 英語
分類・件名
  • LCC：QA76.62
  • LCSH：Functional programming (Computer science)--Congresses
  • LCSH：Logic programming--Congresses
主題
タイトルが類似している資料
類似資料
図書

Logic programming : proceedings of the 1991 international symposium

International Symposium on Logic Programming Saraswat, Vijay Association for Logic Programming 上田, 和紀(1956-)
MIT Press, c1991
図書

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

Logic programming '86 : proceedings of the 5th conference, Tokyo, Japan, June 23-26, 1986

Logic Programming Conference 新世代コンピュータ技術開発機構 和田, 英一(1931-)
Springer-Verlag, c1987
図書

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

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

Evolutionary multi-criterion optimization : first International Conference, EMO 2001, Zurich, Switzerland, March 7-9, 2001 : proceedings

International Conference on Evolutionary Multi-Criterion Optimization Zitzler, Eckart
Springer, c2001
図書

Functional programming languages and computer architecture : 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991 : proceedings

Hughes, John, 1958- ACM Special Interest Group in Programming Languages Conference on Functional Programming Languages and Computer Architecture
Springer-Verlag, c1991
図書

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

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

Advanced functional programming : First International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24-30, 1995 : tutorial text

International Spring School on Advanced Functional Programming Techniques Jeuring, Johan, 1965- Meijer, Erik, 1963-
Springer-Verlag, c1995
図書

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

International Symposium, PLILP Palamidessi, Catuscia Glaser, Hugh Meinke, Karl
Springer, c1998
図書

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

Integer programming and combinatorial optimization : 7th International IPCO Conference, Graz, Austria, June 9-11, 1999 : proceedings

Conference on Integer Programming and Combinatorial Optimization Cornuejols, Gerard, 1950- Burkard, Rainer E., 1943- Woeginger, Gerhard
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
図書

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

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

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

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