メインコンテンツに移動

このページのQRコード

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

書誌情報を取り込む
フォーマット
  • 図書
責任表示
Ronald V. Book, (ed.)
出版情報
  • Berlin ; Tokyo : Springer-Verlag , c1991
形態
  • vii, 458 p.  :  ill.  ;  25 cm
ISBN
  • 9783540539049 [3540539042] (: gw)
  • 9780387539041 [0387539042] (: us)
シリーズ名
著者名
書誌ID
  • BA12132589
注記
  • "Fourth International Conference on Rewriting Techniques and Applications (RTA-91)."--Pref
  • Includes bibliographical references and index
E-Resources
Loading...
Loading...
Loading...
言語
  • 英語
分類・件名
  • LCC：QA267
  • DCC：511.3
  • NDC8：007.64
  • LCSH：Rewriting systems (Computer science)--Congresses
  • LCSH：Electronic digital computers--Programming--Congresses
  • LCSH：Algorithms--Congresses
主題
タイトルが類似している資料
類似資料
図書

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

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

International Conference on Rewriting Techniques and Applications Baader, Franz
Springer, c2007
図書

Typed lambda calculi and applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings

International Conference on Typed Lambda Calculi and Applications Dezani-Ciancaglini, Mariangiola Plotkin, G. (Gordon), 1946-
Springer-Verlag, c1995
図書

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

Foundations of software science and computation structures : 4th International Conference, FOSSACS 2001, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings

FOSSACS Honsell, Furio Miculan, Marino European Conferences on Theory and Practice of Software
Springer, c2001
図書

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

Intelligent robotics and applications : third international conference, ICIRA 2010, Shanghai, China, November 10-12, 2010 : proceedings

ICIRA Liu, Honghai
Springer, c2010
図書

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

Progress in image analysis and processing II : proceedings of the 6th International Conference on Image Analysis and Processing, Villa Olmo, Como, Italy, 4-6 September 1991

International Conference on Image Analysis and Processing Cantoni, V.
World Scientific, 1992
図書

Automata, languages and programming : 18th International Colloquium, Madrid, Spain, July 8-12, 1991 : proceedings

International Colloquium on Automata, Languages and Programming Leach Albert, Javier Monien, Burkhard Rodriguez-Artalejo, M. European Association for Theoretical Computer Science
Springer-Verlag, c1991
図書

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

Evolutionary Multi-Criterion Optimization : 5th International Conference, EMO 2009, Nantes, France, April 7-10, 2009 : proceedings

International Conference on Evolutionary Multi-Criterion Optimization Ehrgott, Matthias
Springer, c2009
図書

Algorithms and complexity : 4th Italian Conference, CIAC 2000, Rome, Italy, March 1-3, 2000 : proceedings

Italian Conference on Algorithms and Complexity Bongiovanni, Giancarlo Gambosi, G. (Giorgio), 1955- Petreschi, Rossella
Springer, c2000
図書

Advances in computing and information, ICCI '91 : International Conference on Computing and Information, Ottawa, Canada, May 27-29, 1991 : proceedings

International Conference on Computing and Information Dehne, Frank, 1960- Fiala, F. Koczkodaj, Waldemar W., 1951-
Springer-Verlag, c1991
図書

Colloquium on Trees in Algebra and Programming (CAAP '91)

International Joint Conference on Theory and Practice of Software Development Colloquium on Trees in Algebra and Programming Abramsky, Samson, 1953- Maibaum, Thomas S. E., 1947-
Springer-Verlag, c1991
図書

Parallel problem solving from nature : PPSN XII : 12th international conference, Taormina, Italy, September 1-5, 2012 : proceedings

Conference on Parallel Problem Solving from Nature Coello Coello, Carlos A.
Springer, c2012
図書

Computing and combinatorics : 4th Annual International Conference, COCOON '98, Taipei, Taiwan, R.o.C., August 12-14, 1998 : proceedings

International Computing and Combinatorics Conference Hsu, Wen-Lian Kao, Ming-Yang
Springer, c1998
図書

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

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

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