- 0 Ergebnisse
Kleinster Preis: € 3,98, größter Preis: € 93,08, Mittelwert: € 73,58
1
Rewriting Techniques and Applications
Bestellen
bei Averdo.com
€ 84,79
Versand: € 0,00
Bestellen

Rewriting Techniques and Applications - Taschenbuch

ISBN: 9783540614647

Erscheinungsdatum: 01.07.1996, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Rewriting Techniques and Applications, Titelzusatz: 7th International Conference, RTA-96, New … Mehr…

Nr. 71098475. Versandkosten:, Next Day, DE. (EUR 0.00)

2
Rewriting Techniques and Applications: 7th International Conference, Rta-96, New Brunswick, NJ, USA July 27 - 30, 1996. Proceedings - Ganzinger, Harald / Ganzinger, H.
Bestellen
bei BetterWorldBooks.com
€ 3,98
Bestellen

Ganzinger, Harald / Ganzinger, H.:

Rewriting Techniques and Applications: 7th International Conference, Rta-96, New Brunswick, NJ, USA July 27 - 30, 1996. Proceedings - gebrauchtes Buch

1996, ISBN: 9783540614647

This book constitutes the refereed proceedings of the 7th International Conference on Rewriting Techniques and Applications, RTA-96, held in New Brunswick, NJ, USA, in July 1996.The 27 re… Mehr…

used in stock. Versandkosten:zzgl. Versandkosten.

3
Rewriting Techniques and Applications 7th International Conference, RTA-96, New Brunswick, NJ, USA July 27 - 30, 1996. Proceedings - Ganzinger, Harald (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 93,08
Versand: € 0,00
Bestellen
Ganzinger, Harald (Herausgeber):
Rewriting Techniques and Applications 7th International Conference, RTA-96, New Brunswick, NJ, USA July 27 - 30, 1996. Proceedings - neues Buch

1996

ISBN: 3540614648

1996 Kartoniert / Broschiert EDV / Theorie / Programmieren / Allgemeines, Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Betriebssysteme, Computerprogrammierung … Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00)

MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
Bezahlte Anzeige
4
Rewriting Techniques and Applications - Harald Ganzinger
Bestellen
bei Springer.com
€ 93,08
Versand: € 0,00
Bestellen
Harald Ganzinger:
Rewriting Techniques and Applications - Taschenbuch

ISBN: 9783540614647

This book constitutes the refereed proceedings of the 7th International Conference on Rewriting Techniques and Applications, RTA-96, held in New Brunswick, NJ, USA, in July 1996. The 27 r… Mehr…

new in stock. Versandkosten:zzgl. Versandkosten. (EUR 0.00)

5
Rewriting Techniques and Applications
Bestellen
bei eBook.de
€ 92,99
Versand: € 0,00
Bestellen
Rewriting Techniques and Applications - neues Buch

ISBN: 3540614648

Rewriting Techniques and Applications ab 92.99 EURO 7th International Conference RTA-96 New Brunswick NJ USA July 27 - 30 1996. Proceedings. Auflage 1996 Medien > Bücher, [PU: Springer, B… Mehr…

Nr. 7029084. Versandkosten:, , DE. (EUR 0.00)


Details zum Buch
Rewriting Techniques and Applications: 7th International Conference, RTA-96, New Brunswick, NJ, USA July 27 - 30, 1996. Proceedings (Lecture Notes in Computer Science (1103), Band 1103)

This book constitutes the refereed proceedings of the 7th International Conference on Rewriting Techniques and Applications, RTA-96, held in New Brunswick, NJ, USA, in July 1996.The 27 revised full papers presented in this volume were selected from a total of 84 submissions, also included are six system descriptions and abstracts of three invited papers. The topics covered include analysis of term rewriting systems, string and graph rewriting, rewrite-based theorem proving, conditional term rewriting, higher-order rewriting, unification, symbolic and algebraic computation, and efficient implementation of rewriting on sequential and parallel machines.

Detailangaben zum Buch - Rewriting Techniques and Applications: 7th International Conference, RTA-96, New Brunswick, NJ, USA July 27 - 30, 1996. Proceedings (Lecture Notes in Computer Science (1103), Band 1103)


EAN (ISBN-13): 9783540614647
ISBN (ISBN-10): 3540614648
Taschenbuch
Erscheinungsjahr: 1996
Herausgeber: Springer
456 Seiten
Gewicht: 0,684 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-05-04T18:08:03+02:00 (Berlin)
Detailseite zuletzt geändert am 2020-11-20T13:25:08+01:00 (Berlin)
ISBN/EAN: 3540614648

ISBN - alternative Schreibweisen:
3-540-61464-8, 978-3-540-61464-7


< zum Archiv...