メインコンテンツに移動

このページのQRコード

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

書誌情報を取り込む
フォーマット
  • 図書
責任表示
Henk Barendregt, Tobias Nipkow, (eds.)
出版情報
  • Berlin ; Tokyo : Springer-Verlag , c1994
形態
  • 383 p.  :  ill.  ;  24 cm
ISBN
  • 9783540580850 [3540580859] (: gw)
  • 9780387580852 [0387580859] (: us)
シリーズ名
著者名
書誌ID
  • BA22707541
注記
  • Includes bibliographical references
E-Resources
Loading...
Loading...
Loading...
言語
  • 英語
分類・件名
  • LCC：QA76.9.A96
  • DCC：005.1/01/5113
  • LCSH：Automatic theorem proving--Congresses
  • LCSH：Computer programs--Congresses
主題
タイトルが類似している資料
類似資料
図書

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

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

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

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

Trends in natural language generation : an artificial intelligence perspective : Fourth European Workshop, EWNLG '93, Pisa, Italy, April 28-30, 1993 : selected papers

European Natural Language Generation Workshop Adorni, Giovanni Zock, Michael
Springer, c1996
図書

Typed lambda calculi and applications : International Conference on Typed Lamda [i.e. Lambda] Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands : proceedings

International Conference on Typed Lambda Calculi and Applications Bezem, M. (Marc), 1956- Groote, J. F. (Jan Frisco), 1965-
Springer-Verlag, c1993
図書

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

Agent mediated electronic commerce : First International Workshop on Agent Mediated Electronic Trading, AMET-98, Minneapolis, MN, USA, May 10th, 1998 : selected papers

International Workshop on Agent-Mediated Electronic Trading Noriega, Pablo, 1953- Sierra, Carles, 1963- International Conference on Autonomous Agents
Springer, c1999
図書

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

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

Information theory and applications II : 4th Canadian workshop, Lac Delage, Québec, Canada, May 28-30, 1995 : selected papers

Canadian Workshop on Information Theory Chouinard, Jean-Yves, 1956- Fortier, Paul, 1959- Gulliver, T. Aaron, 1960-
Springer, c1996
図書

Topics in case-based reasoning : First European Workshop EWCBR-93, Kaiserslautern, Germany, November 1-5, 1993 : selected papers

EWCBR Wess, Stefan Althoff, Klaus-Dieter Richter, Michael M., 1938-
Springer Verlag, c1994
図書

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

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

Fuzzy logic in artificial intelligence : IJCAI '93 workshop, Chamberry, France, August 28, 1993 : proceedings

International Joint Conference on Artificial Intelligence Ralescu, Anca L., 1949-
Springer-Verlag, c1994