Verwandte Artikel zu Term Rewriting Systems (Cambridge Tracts in Theoretical...
Inhaltsangabe
A comprehensive 2003 introduction to term rewriting for researchers. Features exercises, solutions and applications.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Term Rewriting Systems (Cambridge Tracts in Theoretical...
Foto des Verkäufers
Term Rewriting Systems (Cambridge Tracts in Theoretical Computer Science, Series Number 55)
Verlag:
Cambridge University Press, 2003
ISBN 10: 0521391156
ISBN 13: 9780521391153
Gebraucht
Paperback
Anbieter: Your Book Basket, Mechanicsburg, PA, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Good. Good - . In good condition. . Edges have markingsEx-library. Bestandsnummer des Verkäufers 44299
Gebraucht kaufen
EUR 69,11
Versand gratis
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Term Rewriting Systems
Verlag:
Cambridge University Press, 2003
ISBN 10: 0521391156
ISBN 13: 9780521391153
Gebraucht
Hardcover
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 695982
Gebraucht kaufen
EUR 302,27
EUR 2,37 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Term Rewriting Systems: 55 (Cambridge Tracts in Theoretical Computer Science, Series Number 55)
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. A comprehensive 2003 introduction to term rewriting for researchers. Features exercises, solutions and applications. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 908 pages, 273 b/w illus. BIC Classification: UMX; UYA. Category: (P) Professional & Vocational. Dimension: 227 x 292 x 59. Weight in Grams: 2298. . 2003. Illustrated. hardcover. . . . . Bestandsnummer des Verkäufers V9780521391153
Neu kaufen
EUR 295,34
EUR 9,50 Versand
Versand von Irland nach USA
Versand von Irland nach USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Term Rewriting Systems
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 695982-n
Neu kaufen
EUR 292,54
EUR 17,98 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Term Rewriting Systems (Cambridge Tracts in Theoretical Computer Science, Series Number 55)
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers I-9780521391153
Neu kaufen
EUR 312,31
EUR 2,69 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Term Rewriting Systems
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 695982-n
Neu kaufen
EUR 312,63
EUR 2,37 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Term Rewriting Systems
Verlag:
Cambridge University Press, 2003
ISBN 10: 0521391156
ISBN 13: 9780521391153
Gebraucht
Hardcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 695982
Gebraucht kaufen
EUR 305,17
EUR 17,98 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Term Rewriting Systems
Print-on-DemandAnbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Gebunden. Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. A comprehensive 2003 treatment of term rewriting systems from an elementary to an advanced level. Much of this material appeared here for the first time in book form. Ideal for teaching or research, it features numerous exercises with selected solutions on . Bestandsnummer des Verkäufers 446933901
Neu kaufen
EUR 280,75
EUR 48,99 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Term Rewriting Systems (Hardcover)
Verlag:
Cambridge University Press, Cambridge, 2003
ISBN 10: 0521391156
ISBN 13: 9780521391153
Neu
Hardcover
Anbieter: CitiRetail, Stevenage, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: new. Hardcover. Term rewriting systems developed out of mathematical logic and are an important part of theoretical computer science. They consist of sequences of discrete transformation steps where one term is replaced with another and have applications in many areas, from functional programming to automatic theorem proving and computer algebra. This book starts at an elementary level with the earlier chapters providing a foundation for the rest of the work. Much of the advanced material appears here for the first time in book form. Subjects treated include orthogonality, termination, completion, lambda calculus, higher-order rewriting, infinitary rewriting and term graph rewriting. Many exercises are included with selected solutions provided on the web. A comprehensive bibliography makes this book ideal both for teaching and research. A chapter is included presenting applications of term rewriting systems, with many pointers to actual implementations. An introduction to term rewriting for researchers. Features exercises, solutions and applications. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Bestandsnummer des Verkäufers 9780521391153
Neu kaufen
EUR 292,55
EUR 44,34 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Term Rewriting Systems
Print-on-DemandAnbieter: preigu, Osnabrück, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Buch. Zustand: Neu. Term Rewriting Systems | Jan Willem Klop (u. a.) | Buch | Gebunden | Englisch | 2011 | Cambridge University Press | EAN 9780521391153 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand. Bestandsnummer des Verkäufers 104696740
Neu kaufen
EUR 291,25
EUR 70,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 5 verfügbar