Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: International Conference on Rewriting Techniques and Applications 34 träffar

Titel Författare År Språk
1 Rewriting techniques and applications : 14th international conference, RTA 2003, Valencia, Spain, June 2003 : proceedings / edited by Robert Nieuwenhuis Spain) 2003 : (14th International Conference on Rewriting Techniques and Applications Valencia uuuu-uuuu Okänt
2 Rewriting Techniques and Applications electronic resource : 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001. Proceedings / edited by Aart Middeldorp International Conference on Rewriting Techniques and Applications uuuu-uuuu Okänt
3 Rewriting Techniques and Applications electronic resource : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991. Proceedings / edited by Ronald V. Book International Conference on Rewriting Techniques and Applications uuuu-uuuu Okänt
4 Rewriting Techniques and Applications electronic resource : 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 Proceedings / edited by Ralf Treinen Austria) 2009 : (19th International Conference on Rewriting Techniques and Applications Hagenberg im Mühlkreis uuuu-uuuu Okänt
5 Rewriting Techniques and Applications electronic resource : 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings / edited by Andrei Voronkov Austria) 2008 : (19th International Conference on Rewriting Techniques and Applications Hagenberg uuuu-uuuu Okänt
6 Rewriting techniques and applications : 5th international conference, RTA-93, Montreal, Canada, June 16-18, 1993 : proceedings / Claude Kirchner, editor International Conference on Rewriting Techniques and Applications uuuu-uuuu Okänt
7 Rewriting Techniques and Applications electronic resource : 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings / edited by Sophie Tison International Conference on Rewriting Techniques and Applications uuuu-uuuu Okänt
8 Rewriting Techniques and Applications electronic resource : 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings / edited by Vincent van Oostrom Germany) 2004 : (15th International Conference on Rewriting Techniques and Applications Aachen uuuu-uuuu Okänt
9 Term rewriting and applications : 18th international conference, RTA 2007, Paris, France, 26-28.06.2007 : proceedings / edited by Franz Baader France) 2007 : (18th International Conference on Rewriting Techniques and Applications Paris uuuu-uuuu Okänt
10 Term rewriting and applications : 16th international conference, RTA 2005, Nara, Japan, April 19-21, 2005 : proceedings / Jurgen Giesl (ed.) Japan) 2005 : (16th International Conference on Rewriting Techniques and Applications Nara-shi uuuu-uuuu Okänt
11 Rewriting Techniques and Applications : 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings / edited by Vincent van Oostrom Germany) 2004 : (15th International Conference on Rewriting Techniques and Applications Aachen uuuu-uuuu Okänt
12 Term rewriting and applications : 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings / Frank Pfenning (ed.) Wash.) 2006 : (17th International Conference on Rewriting Techniques and Applications Seattle uuuu-uuuu Okänt
13 Rewriting techniques and applications. - 14th international conference, RTA 2003, Valencia, Spain, June 2003 : proceedings Spain) International Conference on Rewriting Techniques and Applications 2003 : Valencia International Conference on Rewriting Techniques and Applications 2003 Engelska
14-15 Rewriting Techniques and Applications (flera utgåvor) International Conference on Rewriting Techniques and Applications 2004 Engelska
16 Rewriting techniques and applications - 13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings International Conference on Rewriting Techniques and Applications 2002 : Copenhagen) cop. 2002 Engelska
17-19 Rewriting techniques and applications - Dijon, France, May 20-22, 1985 (flera utgåvor) cop. 1991 Engelska
20 Rewriting techniques and applications - 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings International Conference on Rewriting Techniques and Applications 2001) Utrecht : cop. 2001 Engelska

1 2 Nästa sida

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.