Conditional Term Rewriting Systems: Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings - Couverture souple
Synopsis
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 Paris in 1987 and the second at Concordia University, Montreal, in 1990. Their proceddings are published as Lecture Notes in Computer Science Volumes 308 and 516 respectively.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Autres éditions populaires du même titre
Résultats de recherche pour Conditional Term Rewriting Systems: Third International...
Image fournie par le vendeur
Conditional Term Rewriting Systems: Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings (Lecture Notes in Computer Science (656), Band 656)
Edité par
Springer, 2008
ISBN 10 : 3540563938
ISBN 13 : 9783540563938
Ancien ou d'occasion
Softcover: 15.5 x 3 x 23.5 cm
Vendeur : Roland Antiquariat UG haftungsbeschränkt, Weinheim, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Softcover: 15.5 x 3 x 23.5 cm. 1993. 520 p. Unread book. Very good condition. Minimum traces of storage. 9783540563938 Sprache: Englisch Gewicht in Gramm: 1000. N° de réf. du vendeur 203275
Acheter D'occasion
EUR 28,90
EUR 14,95 shipping
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Conditional Term Rewriting Systems: Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings (Lecture Notes in Computer Science)
Edité par
Springer, 1993
ISBN 10 : 3540563938
ISBN 13 : 9783540563938
Ancien ou d'occasion
Paperback
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. N° de réf. du vendeur UTD14a2486
Acheter D'occasion
EUR 40,95
EUR 5,96 shipping
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Conditional Term Rewriting Systems.
Edité par
Springer, 1993
ISBN 10 : 3540563938
ISBN 13 : 9783540563938
Ancien ou d'occasion
Couverture souple
Vendeur : Antiquariat Dorner, Reinheim, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Third International Workshop, CTRS-92 Pont-à-Mousson, July 1992. Proceedings. Berlin, Springer 1993. XI, 501 S., OKart. Gutes Exemplar. N° de réf. du vendeur 130466
Acheter D'occasion
EUR 25
EUR 31 shipping
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Conditional Term Rewriting Systems: Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings (Lecture Notes in Computer Science, 656)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar3113020170731
Acheter neuf
EUR 52,69
EUR 3,40 shipping
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Conditional Term Rewriting Systems: Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings (Lecture Notes in Computer Science, 656)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540563938_new
Acheter neuf
EUR 58,31
EUR 13,76 shipping
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Conditional Term Rewriting Systems: Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings (Lecture Notes in Computer Science)
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Paperback. Etat : New. N° de réf. du vendeur 6666-IUK-9783540563938
Acheter neuf
EUR 56,76
EUR 17,79 shipping
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Conditional Term Rewriting Systems
Edité par
Springer Berlin Heidelberg, 1993
ISBN 10 : 3540563938
ISBN 13 : 9783540563938
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume contains the papers preesented at the ThirdInternational Workshop on Conditional Term RewritingSystems, held in Pont- -Mousson, France, July 8-10, 1992.Topics covered include conditional rewriting and itsapplications to programming l. N° de réf. du vendeur 4893925
Acheter neuf
EUR 48,37
EUR 48,99 shipping
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Conditional Term Rewriting Systems
Edité par
Springer Berlin Heidelberg, Springer Berlin Heidelberg Jan 1993, 1993
ISBN 10 : 3540563938
ISBN 13 : 9783540563938
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume contains the papers preesented at the ThirdInternational Workshop on Conditional Term RewritingSystems, held in Pont- -Mousson, France, July 8-10, 1992.Topics covered include conditional rewriting and itsapplications to programming languages, specificationlanguages, automated deduction, constrained rewriting, typedrewriting, 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 provingby 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 inComputer Science Volumes 308 and 516 respectively.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 520 pp. Englisch. N° de réf. du vendeur 9783540563938
Acheter neuf
EUR 53,49
EUR 60 shipping
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Conditional Term Rewriting Systems : Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings
Edité par
Springer Berlin Heidelberg, 1993
ISBN 10 : 3540563938
ISBN 13 : 9783540563938
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the papers preesented at the ThirdInternational Workshop on Conditional Term RewritingSystems, held in Pont- -Mousson, France, July 8-10, 1992.Topics covered include conditional rewriting and itsapplications to programming languages, specificationlanguages, automated deduction, constrained rewriting, typedrewriting, 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 inComputer Science Volumes 308 and 516 respectively. N° de réf. du vendeur 9783540563938
Acheter neuf
EUR 53,49
EUR 63,90 shipping
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Conditional Term Rewriting Systems
Edité par
Springer Berlin Heidelberg Jan 1993, 1993
ISBN 10 : 3540563938
ISBN 13 : 9783540563938
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the papers preesented at the ThirdInternational 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 Paris in 1987 and the second at Concordia University, Montreal, in 1990. Their proceddings are published as Lecture Notes in Computer Science Volumes 308 and 516 respectively. 520 pp. Englisch. N° de réf. du vendeur 9783540563938
Acheter neuf
EUR 96,29
EUR 23 shipping
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)