WELTBILD und Partner brauchen Ihre Zustimmung (Klick auf „OK”) bei vereinzelten Datennutzungen, um unter anderem Informationen zu Ihren Interessen anzuzeigen. Die Verwendung von Cookies können Sie hier ablehnen. Die Einwilligung kann jederzeit in der Datenschutzerklärung widerrufen werden.
OK

Rewriting Techniques and Applications

3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings (Sprache: Englisch)
 
 
Merken
Teilen
Merken
Teilen
 
 
Rewriting has always played an important role in symbolic manipulation and automated deduction systems. The theory of rewriting is an outgrowth of Combinatory Logic and the Lambda Calculus. Applications cover broad areas in automated reasoning, programming...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei

Bestellnummer: 2872612

Buch 106.99
Jetzt vorbestellen
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei

Bestellnummer: 2872612

Buch 106.99
Jetzt vorbestellen
Rewriting has always played an important role in symbolic manipulation and automated deduction systems. The theory of rewriting is an outgrowth of Combinatory Logic and the Lambda Calculus. Applications cover broad areas in automated reasoning, programming...
Andere Kunden interessierten sich auch für
Buch

74.89

Vorbestellen
Erschienen am 05.01.2000
Voraussichtlich lieferbar in 3 Tag(en)
Buch

80.24

Vorbestellen
Erschienen am 07.06.1995
Voraussichtlich lieferbar in 3 Tag(en)

Einführung in die Mathematische Logik

Wolfgang Rautenberg

0 Sterne
Buch

29.99

In den Warenkorb
Erschienen am 15.07.2008
lieferbar
Buch

85.59

Vorbestellen
Erschienen am 13.08.1997
Voraussichtlich lieferbar in 3 Tag(en)
Buch

80.24

Vorbestellen
Erschienen am 01.06.1980
Voraussichtlich lieferbar in 3 Tag(en)
Buch

93.08

Vorbestellen
Erschienen am 11.09.1991
Voraussichtlich lieferbar in 3 Tag(en)
Buch

64.19

Vorbestellen
Erschienen am 29.06.1993
Voraussichtlich lieferbar in 3 Tag(en)
Buch

80.24

Vorbestellen
Erschienen am 01.07.1978
Voraussichtlich lieferbar in 3 Tag(en)
Buch

80.24

Vorbestellen
Erschienen am 02.10.1991
Voraussichtlich lieferbar in 3 Tag(en)
Buch

93.08

Vorbestellen
Erschienen am 01.07.1996
Voraussichtlich lieferbar in 3 Tag(en)
Buch

96.29

Vorbestellen
Erschienen am 22.03.1995
Voraussichtlich lieferbar in 3 Tag(en)
Buch

93.08

In den Warenkorb
Erschienen am 16.06.1999
lieferbar
Buch

64.19

Vorbestellen
Erschienen am 18.02.2004
Voraussichtlich lieferbar in 3 Tag(en)

Learning MATLAB

Walter Gander

0 Sterne
Buch

44.99

In den Warenkorb
Erschienen am 08.12.2015
lieferbar

Logica

Vito Michele Abrusci, Lorenzo Tortora de Falco

0 Sterne
Buch

30.86

In den Warenkorb
Erschienen am 11.12.2018
lieferbar
Buch

64.19

Vorbestellen
Erschienen am 06.11.1996
Voraussichtlich lieferbar in 3 Tag(en)
Buch

160.49

In den Warenkorb
Erschienen am 16.04.2018
lieferbar

Collected Papers

Alfred Tarski

0 Sterne
Buch

139.09

In den Warenkorb
Erschienen am 03.01.2019
lieferbar
Kommentar zu "Rewriting Techniques and Applications"
Andere Kunden kauften auch
Buch

74.89

Vorbestellen
Erschienen am 05.01.2000
Voraussichtlich lieferbar in 3 Tag(en)
Buch

80.24

Vorbestellen
Erschienen am 07.06.1995
Voraussichtlich lieferbar in 3 Tag(en)

Einführung in die Mathematische Logik

Wolfgang Rautenberg

0 Sterne
Buch

29.99

In den Warenkorb
Erschienen am 15.07.2008
lieferbar
Buch

85.59

Vorbestellen
Erschienen am 13.08.1997
Voraussichtlich lieferbar in 3 Tag(en)
Buch

80.24

Vorbestellen
Erschienen am 01.06.1980
Voraussichtlich lieferbar in 3 Tag(en)
Buch

93.08

Vorbestellen
Erschienen am 11.09.1991
Voraussichtlich lieferbar in 3 Tag(en)
Buch

64.19

Vorbestellen
Erschienen am 29.06.1993
Voraussichtlich lieferbar in 3 Tag(en)
Buch

80.24

Vorbestellen
Erschienen am 01.07.1978
Voraussichtlich lieferbar in 3 Tag(en)
Buch

80.24

Vorbestellen
Erschienen am 02.10.1991
Voraussichtlich lieferbar in 3 Tag(en)
Buch

93.08

Vorbestellen
Erschienen am 01.07.1996
Voraussichtlich lieferbar in 3 Tag(en)
Buch

96.29

Vorbestellen
Erschienen am 22.03.1995
Voraussichtlich lieferbar in 3 Tag(en)
Buch

93.08

In den Warenkorb
Erschienen am 16.06.1999
lieferbar
Buch

64.19

Vorbestellen
Erschienen am 18.02.2004
Voraussichtlich lieferbar in 3 Tag(en)

Learning MATLAB

Walter Gander

0 Sterne
Buch

44.99

In den Warenkorb
Erschienen am 08.12.2015
lieferbar

Logica

Vito Michele Abrusci, Lorenzo Tortora de Falco

0 Sterne
Buch

30.86

In den Warenkorb
Erschienen am 11.12.2018
lieferbar
Buch

64.19

Vorbestellen
Erschienen am 06.11.1996
Voraussichtlich lieferbar in 3 Tag(en)
Buch

160.49

In den Warenkorb
Erschienen am 16.04.2018
lieferbar

Collected Papers

Alfred Tarski

0 Sterne
Buch

139.09

In den Warenkorb
Erschienen am 03.01.2019
lieferbar
Weitere Empfehlungen zu „Rewriting Techniques and Applications “
0 Gebrauchte Artikel zu „Rewriting Techniques and Applications“
Zustand Preis Porto Zahlung Verkäufer Rating
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich