Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 5.99 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Conditional Term Rewriting Systems

Name: Conditional Term Rewriting Systems
Brand: Springer, Berlin
SKU: 02092585
Price: 53.79 EUR
Availability: InStock
Author: Stephane Kaplan
ISBN: 9783540192428

First International Workshop Orsay, France, July 8-10, 1987. Proceedings

Stephane Kaplan

Jean-Pierre Jouannaud

Lingua

Inglese

Libro In brossura

Codice Libristo: 02092585

Casa editrice Springer, Berlin

The 1st International Workshop on Conditional Term Rewriting Systems took place in Orsay (University... Descrizione completa

Codice Libristo: 02092585

132 b

53.79 €

Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Philosophie des 17. und 18. Jahrhunderts Harald Schöndorf

In brossura

33.49 €

Das liebe Geld Kate Northrup

In brossura

16.09 €

Neustart mit Hindernissen Isolde Grabner

In brossura

23.49 €

Agypten Alfred von Kremer

In brossura

33.59 €

Prince Max A Paris, Roman Inedit De Beaumont-Vassy-E-F

In brossura

26.09 €

Grenzüberschreitender Verkehr mit strategischen Gütern Markus Haslinger

In brossura

29.79 €

universo matematico. La ricerca della natura ultima della realtà Max Tegmark

In brossura

21.29 €

Der Jenaer Maler: Eine Topferwerkstatt im klassischen Athen Geyer

Rigido

40.09 €

triste caso dell'omelia. Rudimenti per un aggiornamento dell'«ars homiletica» Fabio Rosini

In brossura

20.59 €

Les grandes batailles navales de l'histoire 2e ed Jean-Yves Delitte

In brossura

52.49 €

The 1st International Workshop on Conditional Term Rewriting Systems took place in Orsay (University of Paris-Sud) in July 1987, and brought together most of the researchers involved in the field. Conditional rewriting has actually known important breakthroughs during the last two years; it was the purpose of the workshop to put the results together, to present new, original contributions to the domain, and to discuss still unsolved issues. Thesecontributions are reported in the proceedings. The main questions that have been addressed are the different semantics for conditional rewriting and their classification, possible extensions to the basic formalism, and the relationship between conditional rewriting and logic programming. Also, more practical issues such as applications and implementations of conditional term rewriting systems have been addressed. Descriptions of seven actual systems allowing conditional rewriting are included.