Deutsch
Österreich
Anmelden
Tipp von eurobuch.at
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Suchtools
Buchtipps
Aktuelles
Werbung
FILTER
- 0 Ergebnisse
Kleinster Preis: 3,49 €, größter Preis: 103,45 €, Mittelwert: 75,78 €
Rewriting Techniques and Applications: 7th International Conference, RTA-96, New Brunswick, NJ, USA July 27 - 30, 1996. Proceedings (Lecture Notes in Computer Science v. 1103) - Harald Ganzinger
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Harald Ganzinger:
Rewriting Techniques and Applications: 7th International Conference, RTA-96, New Brunswick, NJ, USA July 27 - 30, 1996. Proceedings (Lecture Notes in Computer Science v. 1103) - neues Buch

ISBN: 3540614648

Broché, [EAN: 9783540614647], Springer, Springer, Book, [PU: Springer], Springer, 301130, Thèmes, 689215031, Actu, Politique et Société, 4237308031, Adolescents, 301144, Art, Musique et Cinéma, 301133, Bandes dessinées, 293136011, Beaux livres, 8434456031, Calendriers et Agendas, 302050, Cuisine et Vins, 301147, Dictionnaires, langues et encyclopédies, 301985, Droit, 301135, Entreprise et Bourse, 573312, Érotisme, 3961911, Etudes supérieures, 301142, Famille et bien-être, 301138, Fantasy et Terreur, 689214031, Histoire, 302009, Humour, 301131, Informatique et Internet, 301137, Livres pour enfants, 355635011, Loisirs créatifs, décoration et bricolage, 302004, Manga, 355636011, Nature et animaux, 301997, Religions et Spiritualités, 302042, Romance et littérature sentimentale, 301132, Romans et littérature, 301134, Romans policiers et polars, 12641896031, Santé, Forme et Diététique, 1381962031, Science-Fiction, 301141, Sciences, Techniques et Médecine, 301139, Sciences humaines, 301146, Scolaire et Parascolaire, 301143, Sports et passions, 302051, Tourisme et Voyages, 301061, Livres

Neues Buch Amazon.fr
GrandFlare
Neuware. Versandkosten:Innerhalb Deutschland, Italien, Luxembourg, Holland und UK. Plus 1.55 EUR pro Produkt sowie lokale Versandkosten.. Expédition sous 1 à 2 jours ouvrés. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.50)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Rewriting Techniques and Applications - Harald Ganzinger
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Harald Ganzinger:
Rewriting Techniques and Applications - neues Buch

ISBN: 9783540614647

ID: 808720359

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. 7th International Conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996. Proceedings Buch (fremdspr.) Taschenbuch 01.07.1996 Bücher>Fremdsprachige Bücher>Englische Bücher, Springer, .199

Neues Buch Orellfuessli.ch
No. 1877305. Versandkosten:Zzgl. Versandkosten. (EUR 15.65)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Rewriting Techniques and Applications - Harald Ganzinger
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Harald Ganzinger:
Rewriting Techniques and Applications - neues Buch

ISBN: 9783540614647

ID: 836164222

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. 7th International Conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996. Proceedings Buch (fremdspr.) Bücher>Fremdsprachige Bücher>Englische Bücher, Springer

Neues Buch Thalia.de
No. 1877305. Versandkosten:, Versandfertig in 2 - 3 Tagen, DE. (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Rewriting Techniques and Applications 7th International Conference, RTA-96, New Brunswick, NJ, USA July 27 - 30, 1996. Proceedings - Ganzinger, Harald (Herausgeber)
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
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

ID: A102206

1996 Kartoniert / Broschiert EDV / Theorie / Programmieren / Allgemeines, Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, AI ( Künstliche Intelligenz ), Betriebssysteme, Computerprogrammierung und Softwareentwicklung, Compiler und Übersetzer, Programmier- und Skriptsprachen, allgemein, Software Engineering, Informatik, Theoretische Informatik, Rechnerarchitektur und Logik-Entwurf, Künstliche Intelligenz, Automatische Deduktion; Ersetzungssysteme; Höherstufige Logiken; automated deduction; graph rewriting; higher-order logics; proving; rewriting systems; term rewriting; theorem proving, mit Schutzumschlag neu, [PU:Springer; Springer Berlin]

Neues Buch Achtung-Buecher.de
MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Rewriting Techniques and Applications: 7th International Conference, RTA-96, New Brunswick, NJ, USA July 27 - 30, 1996. Proceedings (Lecture Notes in Computer Science) - Ganzinger, Harald
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Ganzinger, Harald:
Rewriting Techniques and Applications: 7th International Conference, RTA-96, New Brunswick, NJ, USA July 27 - 30, 1996. Proceedings (Lecture Notes in Computer Science) - Taschenbuch

1996, ISBN: 9783540614647

ID: 1030181958

Springer. Paperback. VERY GOOD. Light rubbing wear to cover, spine and page edges. Very minimal writing or notations in margins not affecting the text. Possible clean ex-library copy, with their stickers and or stamp(s)., Springer

gebrauchtes bzw. antiquarisches Buch Biblio.com
Discover Books
Versandkosten: EUR 7.64
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Details zum Buch
Rewriting Techniques and Applications

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


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

Buch in der Datenbank seit 04.05.2007 18:08:03
Buch zuletzt gefunden am 21.11.2017 10:47:40
ISBN/EAN: 3540614648

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


< zum Archiv...
Benachbarte Bücher