Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €
phone Kontakt phoneWie einkaufen

Term Rewriting and Applications

17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Term Rewriting and Applications Frank Pfenning
Libristo-Code: 01562413
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Juli 2006
This book constitutes the refereed proceedings of the 17th International Conference on Rewriting Tec... Vollständige Beschreibung
? points 132 b
53.79 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Sardegna slow. Viaggio nel cuore dell'isola. Le guide ai sapori e ai piaceri / Buch Broschur
common.buy 17.19 €
Top
Puzzle 1000 elementów. Compact Anime Dragon Ball / Spiel/Spielzeug Puzzle
common.buy 7.09 €
Hass Vergibt Nicht H P Barkam / Buch Broschur
common.buy 10.39 €
How to Argue With a Meat Eater (And Win Every Time) WINTERS ED / Buch Broschur
common.buy 14.60 €
En el ocaso del pensamiento occidental Herman Dooyeweerd / Buch Broschur
common.buy 17.89 €
O can MONTSE GANGES / Buch Hardcover
common.buy 3.59 €
Instrumental Carpenters The Instrumental/Carpenters / Audio Audio CD
common.buy 11.09 €
Reflejo 3. Lengua castellana y Literatura 3 ESO MERCE ARCE LASSO / Buch Broschur
common.buy 58.99 €
Pakůň / Spiel/Spielzeug Spielzeug
common.buy 9.49 €
Maurice Denis Maurice DENIS / Buch Broschur
common.buy 12.09 €
Vivre une vie philosophique - Thoreau le sauvage Michel Onfray / Buch Broschur
common.buy 19.99 €
Merlin le prophète - un thème de la littérature polémique de l'historiographie et des romans Zumthor / Buch Hardcover
common.buy 85.59 €
Tot und begraben Carola Clasen / Buch Broschur
common.buy 10.29 €
Top
Carfit. Englisch für Fahrzeugberufe, m. 1 Audio-CD / Buch Blatt
common.buy 23.89 €
Ausgabe H, Schwarz / Buch Hardcover
common.buy 25.00 €
Verfassungsrechtliche Grenzen rückwirkender Anwaltsgebührenerhöhungen. Hartmut Bauer / Buch Broschur
common.buy 34.90 €
Gitterstrukturen des Erdmagnetfeldes Klaus Piontzik / Buch Broschur
common.buy 35.00 €
Hundert Jahre im Altkreis Geldern Paul van Treeck / Buch Broschur
common.buy 7.90 €
Die Lücke im Gesetz Ingo Lenßen / Buch Broschur
common.buy 15.69 €
Lymphologie und Manuelle Lymphdrainage beim Pferd Christina Fedele / Buch Hardcover
common.buy 89.00 €
Jagdmethoden und Fanggeheimnisse Emil Regener / Buch Broschur
common.buy 39.90 €
O čertovi Pavel Čech / Buch Hardcover
common.buy 8.89 €
Matematika pro 4. ročník základní školy 1. díl Zdena Rosecká / Buch Buch
common.buy 3.09 €
L'amant MARGUERITE DURAS / Buch Broschur
common.buy 12.29 €

This book constitutes the refereed proceedings of the 17th International Conference on Rewriting Techniques and Applications, RTA 2006, held in Seattle, WA, USA in August 2006. The book presents 23 revised full papers and 4 systems description papers together with 2 invited talks and a plenary talk of the hosting FLoC conference. Topics include equational reasoning, system verification, lambda calculus, theorem proving, system descriptions, termination, higher-order rewriting and unification, and more.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Term Rewriting and Applications
Autor Frank Pfenning
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2006
Anzahl der Seiten 418
EAN 9783540368342
ISBN 3540368345
Libristo-Code 01562413
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 1340
Abmessungen 155 x 235 x 24

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik
Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik
EDV und Informationstechnologie > Informatik > Theoretische Informatik > Mathematik für Informatiker
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
EDV und Informationstechnologie > Informatik > Künstliche Intelligenz
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Victim Bibe / Buch Broschur
common.buy 12.59 €
Demnächst
Exhibiting Mormonism Reid L. Neilson / Buch Hardcover
common.buy 56.99 €
Unjust Enrichment and Contract Tariq A. Baloch / Buch Hardcover
common.buy 145.89 €
God from the Machine William Sims Bainbridge / Buch Hardcover
common.buy 142.39 €
Blackwell Guide to Hume's Treatise Traiger / Buch Hardcover
common.buy 131.29 €
Uncle Bubba's Chicken Wing Fling Mitchel Whitington / Buch Broschur
common.buy 16.49 €
Introduction to Oil and Gas Operational Safety Wise Global Training Ltd / Buch Broschur
common.buy 173.79 €
Sufis in Western Society Markus Dressler / Buch Broschur
common.buy 77.69 €
Power Plays Alan Arkin / Buch Broschur
common.buy 18.19 €
Other State, New Mexico USA Richard McCord / Buch Broschur
common.buy 12.69 €
Mary's Girl Shannon K Cook / Buch Broschur
common.buy 13.79 €
Lord of Death and the Queen of Life Homer E Flint / Buch Hardcover
common.buy 28.79 €
Donna Diana Richard Bagot / Buch Broschur
common.buy 39.69 €
Lovers' Poetry James Butler / Buch Broschur
common.buy 11.79 €
Herbaceous Layer in Forests of Eastern North America Frank Gilliam / Buch Hardcover
common.buy 153.09 €
Who Is Naturalove? Analisa Jean Naturalove / Buch Broschur
common.buy 16.39 €
Nuggets & Pearls Ash Pradhan / Buch Broschur
common.buy 20.09 €
Feuerbach: The Roots Of The Socialist Philosophy (1903) Frederick Engels / Buch Broschur
common.buy 23.89 €
Poetics of Unnatural Narrative Jan Alber / Buch Broschur
common.buy 45.79 €
Becoming a Literacy Leader Jennifer Allen / Buch Broschur
common.buy 46.69 €
Demnächst
Magnum Ireland Brigitte Lardinois / Buch Broschur
common.buy 22.29 €
Violin Exam Pieces 2020-2023, ABRSM Grade 7, Score & Part ABRSM / Drucksachen Noten
common.buy 25.39 €
SAFE-BURGLARY UNITED STATES. CONGR / Buch Hardcover
common.buy 35.79 €
Prisoners of the American Dream Mike Davis / Buch Broschur
common.buy 20.39 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?