Rewriting Techniques and Applications : 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings /

में बचाया:

ग्रंथसूची विवरण
मुख्य लेखक:	Sophie Tison (edición)
स्वरूप:	पुस्तक
भाषा:	अंग्रेज़ी
प्रकाशित:	Berlín, Alemania : Springer, 2002, c2002
श्रृंखला:	(Lecture Notes in Computer Science)
ऑनलाइन पहुंच:	Ver documento en línea
टैग:	टैग जोड़ें कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!

समान संसाधन: Rewriting Techniques and Applications :

त्वरित देखें
Rewriting Techniques and Applications : 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001. Proceedings /
त्वरित देखें
Rewriting Techniques and Applications : 10th International Conference, RTA'99, Trento, Italy, July 2-4, 1999, Proceedings /
त्वरित देखें
Rewriting Techniques and Applications : 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 Proceedings /
त्वरित देखें
Rewriting Techniques and Applications : 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings /
त्वरित देखें
Rewriting Techniques and Applications : 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 Proceedings /
त्वरित देखें
Rewriting Techniques and Applications : 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings /
त्वरित देखें
Rewriting Techniques and Applications : 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings /
त्वरित देखें
Rewriting Techniques and Applications : 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings /
त्वरित देखें
Rewriting Techniques and Applications : 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings /
त्वरित देखें
Term Rewriting and Applications : 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings /
त्वरित देखें
Term Rewriting and Applications : 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings /
त्वरित देखें
Term Rewriting and Applications : 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings /
त्वरित देखें
Rewriting and Typed Lambda Calculi : Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : Proceedings /
त्वरित देखें
Rewriting Logic and Its Applications : 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers /
त्वरित देखें
Rewriting Logic and Its Applications : 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS Grenoble, France, April 5–6, 2014 : Revised Selected Papers /
त्वरित देखें
Rewriting Logic and Its Applications : 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers /
त्वरित देखें
FME 2002: Formal Methods - Getting IT Right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings /
त्वरित देखें
Computer Aided Verification : 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings /
त्वरित देखें
Logic Programming : 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings /
त्वरित देखें
Database and Expert Systems Applications : 16th International Conference, DEXA 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings /
त्वरित देखें
Screenwriting is Rewriting /
त्वरित देखें
Rewriting, Computation and Proof : Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday /
त्वरित देखें
Biometric Authentication : International ECCV 2002 Workshop Copenhagen, Denmark, June 1, 2002 Proceedings /
त्वरित देखें
Analytical and Stochastic Modeling Techniques and Applications : 18th International Conference, ASMTA 2011, Venice, Italy, June 20-22, 2011, Proceedings /