Symbolic rewriting techniques :: SCD d'Orléans

Symbolic rewriting techniques

Symbolic rewriting techniques

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	Workshop on Symbolic Rewriting Techniques :Ascona, CH
Weitere Verfasser:	Bronstein, Manuel, 1963-2005 (Verlagsleitung), Grabmeier, Johannes (Verlagsleitung), Weispfenning, Volker, 1944- (Verlagsleitung)
Format:	Livre numérique
Sprache:	Anglais
Veröffentlicht:	Cham : Springer International Publishing [20..]. Cham : Springer Nature
Schlagworte:	Actes de congrès
Online Zugang:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Anmerkung:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Symbolic Rewriting Techniques, 978-3-0348-9779-2 • Symbolic rewriting techniques, Manuel Bronstein, Johannes Grabmeier, Volker Weispfenning, editors, Basel, Birkhäuser, 1998, 1 vol. (288 p.), Progress in computer science and applied logic, 3-7643-5901-3

Ähnliche Einträge

Rewriting techniques and applications : Dijon, France, May 20 22, 1985

Rewriting techniques and applications : Bordeaux, France, May 25-27, 1987 : proceedings

Rewriting techniques and applications : 14th international conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings

Rewriting techniques and applications : 13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings

Rewriting techniques and applications : 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings

Rewriting techniques and applications : 6th international conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995 : proceedings

Rewriting techniques and applications : 8th international conference, RTA-97, Sitges, Spain, June 2 5, 1997 : proceedings

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

Rewriting techniques and applications : 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings

Rewriting techniques and applications : 9th international conference, RTA-98, Tsukuba, Japan, March 28-April 1, 1998 : proceedings

Rewriting techniques and applications : 10th international conference, RTA-99, Trento, Italy, July 2-4, 1999 : proceedings

Rewriting techniques and applications : 7th international conference, RTA-96, New Brunswick, NJ, USA, July 27 30, 1996 : proceedings

Rewriting techniques and applications : 3rd International conference, RTA-89, Chapel Hill, North Carolina, USA April 3 5, 1989 : proceedings

Rewriting techniques and applications : ; proceedings 15th international conference, RTA 2004, Aachen, Germany, June 3-5, 2004

Symbolic and algebraic computation : EUROSAM '79, an International symposium on symbolic and algebraic manipulation, Marseille, France, June 1979

Symbolic dynamics and its applications
Veröffentlicht: (1992)

Symbolic-Numeric Computation

Term rewriting : French Spring School of Theoretical Computer Science, Font Romeux [sic], France, May 17-21, 1993 : advanced course
von: Comon-Lundh, Hubert, 1957-...., auteur en informatique

Rewriting the Middle Ages in the Twentieth Century
Veröffentlicht: (2005)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings
von: Gaag, Linda C.

Conditional term rewriting systems : 1st international workshop, Orsay, France, July 8-10, 1987 : proceedings

Symbolic and quantitative approaches to uncertainty : European Conference ECSQAU, Marseille, France, October 15-17, 1991 : proceedings

Conditional and typed rewriting systems : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990 : proceedings

Parallel symbolic computing : languages, systems, and applications : US/Japan workshop, Cambridge, MA, USA, October 14-17, 1992 : proceedings
von: Halstead, Robert H., Jr., 1953-

Symbolic and algebraic computation : International Symposium ISSAC '88, Rome, Italy, July 4 8, 1988 : proceedings

Artificial intellegience and symbolic computation : international conference AISC 2000, Madrid, Spain, July 17-19, 2000 : rrevised papers

Artificial intelligence and symbolic computation : International Conference AISC 98, Plattsburg, New York, USA, September 16 18, 1998 : proceedings

Connectionist, statistical, and symbolic approaches to learning for natural language processing
von: Wermter, Stefan, 1961-

Artificial intelligence and symbolic computation : 7th international conference, AISC 2004, Linz, Austria, September 22-24, 2004 : proceedings

Conditional term rewriting systems : Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10 1992 : proceedings

Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996, proceedings

Conditional and typed rewriting systems : 4th international workshop, CTRS-94, Jerusalem, Israel, July 13 15, 1994 : proceedings

Higher order algebra, logic, and term rewriting : First International Workshop, HOA'93, Amsterdam, The Netherlands, September 23 24, 1993 : selected papers

Higher-order algebra, logic, and term rewriting : second international workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers

Artificial intelligence and symbolic mathematical computing : [first] International Conference, AISMC-1, Karlsruhe, Germany, August 3-6, 1992 : proceedings

Symbolic and quantitative approaches to reasoning and uncertainty : European Conference ECSQARU '93, Granada, Spain, November 8 10, 1993 : proceedings

Symbolic and quantitative approaches to reasoning and uncertainty : European Conference, ECSQARU '95, Fribourg, Switzerland, July 3 5, 1995 : proceedings
von: Froidevaux, Christine, 19..-

Design and implementation of symbolic computation systems : International Symposium, DISCO '93, Gmunden, Austria, September 15 17, 1993 : proceedings

Symbolic and quantitative approaches to reasoning with uncertainty : 7th European Conference, ECSQARU 2003, Aalborg, Denmark, July 2-5, 2003 : proceedings

Symbolic and quantitative approaches to reasoning with uncertainty : 6th European conference, ECSQARU 2001, Toulouse, France, September 19 21, 2001 : proceedings

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales