Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € ACS-Stelle 4.99 € Box Now 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Conditional Term Rewriting Systems

Name: Conditional Term Rewriting Systems
Brand: Springer, Berlin
SKU: 02092611
Price: 58.57 EUR
Availability: InStock
Author: Michael Rusinowitch
ISBN: 9783540563938

Third International CRTS Workshop, Pont-a-Mousson, France, July 8-10, 1992. Proceedings

Michael Rusinowitch

Jean-Luc Remy

Sprache

Englisch

Buch Broschur

Libristo-Code: 02092611

Verlag Springer, Berlin, November 1992

This volume contains the papers preesented at the Third International Workshop on Conditional Term R... Vollständige Beschreibung

Libristo-Code: 02092611

141 b

58.57 €

Externes Lager in kleiner Menge Wir versenden in 11-15 Tagen

Lieferung in Griechenland

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Alemannien Und Der Norden Hans-Peter Naumann

Hardcover

199.54 €

Last and First Men Olaf Stapledon

Broschur

8.71 €

Eichendorff und die Frauen Frauke Itzerott

Broschur

9.11 €

Pakiet Saga rodziny Neshov. Tom 1-3 Anne B. Ragde

Broschur

18.13 €

Access - Allgemeine Ausgabe 2014 - Band 4: 8. Schuljahr Jörg Rademacher

Audio CD

41.64 €

This volume contains the papers preesented at the Third International Workshop on Conditional Term Rewriting Systems, held in Pont- -Mousson, France, July 8-10, 1992. Topics covered include conditional rewriting and its applications to programming languages, specification languages, automated deduction, constrained rewriting, typed rewriting, higher-order rewriting, and graph rewriting. The volume contains 40 papers, including four invited talks: Algebraic semantics of rewriting terms and types, by K.Meinke; Generic induction proofs, by P. Padawitz; Conditional term rewriting and first-order theorem proving, by D. Plaisted; and Decidability of finiteness properties (abstract), by L. Pacholski. The first CTRS workshop was held at the University of Parisin 1987 and the second at Concordia University, Montreal, in1990. Their proceddings are published as Lecture Notes in Computer Science Volumes 308 and 516 respectively.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Conditional Term Rewriting Systems

Autor Michael Rusinowitch, Jean-Luc Remy

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 1993

Anzahl der Seiten 507

EAN 9783540563938

ISBN 3540563938

Libristo-Code 02092611

Verlag Springer, Berlin

Gewicht 672

Abmessungen 155 x 233 x 26

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

EDV und Informationstechnologie > Betriebssysteme

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