メインコンテンツに移動

このページのQRコード

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

書誌情報を取り込む
フォーマット
  • 図書
責任表示
A. Pettorossi (ed.)
出版情報
  • Berlin ; New York : Springer-Verlag , c1992
形態
  • xii, 351 p.  :  ill.  ;  25 cm
ISBN
  • 9783540562825 [3540562826] (: gw)
  • 9780387562827 [0387562826] (: us)
シリーズ名
著者名
書誌ID
  • BA19090636
注記
  • Includes bibliographical references and index
  • "This volume contains the papers presented at the Third International Workshop on 'Meta-Programming in Logic'"--Foreword
E-Resources
Loading...
Loading...
Loading...
言語
  • 英語
分類・件名
  • LCC：QA76.73
  • DCC：005.13/1
  • LCSH：Logic programming--Congresses
主題
タイトルが類似している資料
類似資料
図書

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

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

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

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

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

Extensions of logic programming : international workshop, Tübingen, FRG, December 8-10, 1989, proceedings

Schroeder-Heister, Peter Joseph, 1953- International Workshop on Extensions of Logic Programming
Springer-Verlag, c1991
図書

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

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

Logics in AI : European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992 : proceedings

JELIA Pearce, David A., 1952- Wagner, G. (Gerd), 1957-
Springer-Verlag, c1992
図書

Analogical and inductive inference : International Workshop AII '92, Dagstuhl Castle, Germany, October 5-9, 1992 : proceedings

International Workshop AII Jantke, Klaus P.
Springer-Verlag, c1992
図書

Graph-theoretic concepts in computer science : 18th International Workshop, WG '92, Wiesbaden-Naurod, Germany, June 18-20, 1992 : proceedings

International Workshop on Graph-Theoretic Concepts in Computer Science Mayr, Ernst W.
Springer-Verlag, c1993
図書

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

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

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

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

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

Mathematics of program construction : Second International Conference, Oxford, U.K., June 29-July 3, 1992 : proceedings

International Conference on the Mathematics of Program Construction Bird, R. S. (Richard Simpson), 1943- Morgan, C. C. (Charles Carroll), 1952- Woodcock, James
Springer-Verlag, c1993
図書

Computer science logic : 12th International Workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August 24-28, 1998 : proceedings

Workshop on Computer Science Logic Gottlob, Georg, 1956- Grandjean, E., 1914- Seyr, Katrin
Springer, c1999
図書

Logics of programs : workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983

Logics of Programs Workshop Clarke, Edmund Kozen, Dexter, 1951-
Springer-Verlag, 1984
図書

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

FLOPS Kuchen, Herbert R., 1958- 上田, 和紀(1956-)
Springer, c2001