メインコンテンツに移動

このページのQRコード

Term rewriting and applications : 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007 : proceedings

書誌情報を取り込む
フォーマット
  • 図書
責任表示
Franz Baader (ed.)
出版情報
  • Berlin : Springer , c2007
形態
  • xii, 418 p.  :  ill.  ;  24 cm
ISBN
  • 9783540734475 [3540734473]
シリーズ名
著者名
書誌ID
  • BA82506140
注記
  • Includes bibliographical references and index
E-Resources
Loading...
Loading...
Loading...
言語
  • 英語
タイトルが類似している資料
類似資料
図書

Term rewriting and applications : 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings

International Conference on Rewriting Techniques and Applications Pfenning, Frank
Springer, c2006
図書

Typed lambda calculi and applications : 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007 : proceedings

International Conference on Typed Lambda Calculi and Applications Ronchi Della Rocca, Simona
Springer, c2007
図書

Rewriting techniques and applications : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991, proceedings

International Conference on Rewriting Techniques and Applications Book, Ronald V.
Springer-Verlag, c1991
図書

Application and theory of Petri nets 1998 : 19th International Conference, ICATPN'98, Lisbon, Portugal, June 22-26, 1998 : proceedings

International Conference on Applications and Theory of Petri Nets Desel, Jörg Silva, Manuel
Springer, c1998
図書

Applications and theory of Petri nets 2003 : 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003 : proceedings

International Conference on Applications and Theory of Petri Nets Aalst, Wil van der Best, Eike
Springer, c2003
図書

ICAOS '96, 12th International Conference on Analysis and Optimization of Systems : images, wavelets and PDEs : Paris, June 26-28, 1996

International Conference on Analysis and Optimization of Systems Berger, Marie-Odile, 1961-
Springer, c1996
図書

Parallel problem solving from nature-PPSN VI : 6th International Conference, Paris, France, September 18-20, 2000 : proceedings

Conference on Parallel Problem Solving from Nature Schoenauer, Marc
Springer, c2000
図書

Applications and theory of Petri nets 2001 : 22nd International Conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25-29, 2001 : proceedings

International Conference on Applications and Theory of Petri Nets Colom, José-Manuel Koutny, Maciej, 1958-
Springer, c2001
図書

Computing and combinatorics : 6th Annual International Conference, COCOON 2000, Sydney, Australia, July 26-28, 2000 : proceedings

International Computing and Combinatorics Conference Du, Dingzhu
Springer, c2000
図書

Computing and combinatorics : 5th Annual International Conference, COCOON '99, Tokyo, Japan, July 26-28, 1999 : proceedings

International Computing and Combinatorics Conference 浅野, 孝夫(1949-)
Springer, c1999
図書

Artificial evolution : 7th International Conference, Evolution Artificielle, EA 2005, Lille, France, October 26-28, 2005 : revised selected papers

International Conference, EA Talbi, El-Ghazali Liardet, Pierre Collet, Pierre Lutton, E. (Evelyne), 1962- Schoenaurer, Marc
Springer, c2006
図書

Typed lambda calculi and applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings

International Conference on Typed Lambda Calculi and Applications De Groote, Philippe Hindley, J. Roger
Springer-Verlag, c1997
図書

Information processing in medical imaging : 13th International Conference, IPMI '93, Flagstaff, Arizona, USA, June 14-18, 1993 : proceedings

International Conference on Information Processing in Medical Imaging Barrett, Harrison H. Gmitro, Arthur F.
Springer-Verlag, c1993
図書

Evolutionary Multi-Criterion Optimization : 4th International Conference, EMO 2007, Matsushima, Japan, March 5-8, 2007 : proceedings

International Conference on Evolutionary Multi-Criterion Optimization 大林, 茂
Springer, c2007
図書

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

TAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings

International Joint Conference on Theory and Practice of Software Development Bidoit, M. (Michel), 1957- Dauchet, Max, 1946-
Springer, c1997
図書

Mobile agents for telecommunication applications : second International Workshop, MATA 2000, Paris, France, September 18-20, 2000 : proceedings

MATA Horlait, Eric
Springer, c2000
図書

Advances in cryptology - EUROCRYPT 2000 : International Conference on the Theory and Application of Cryptographic Techniques, Bruges, Belgium, May 14-18, 2000 : proceedings

EUROCRYPT Preneel, Bart, 1963-
Springer, c2000
図書

Automated deduction - CADE-17 : 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedings

International Conference on Automated Deduction McAllester, David A.
Springer, c2000
図書

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