Michael rusinowitch (40 risultati)
- Brossura
Da: GuthrieBooks, Spring Branch, U.S.A.GuthrieBooks
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 41,50
EUR 6,06 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
- Brossura
Da: Antiquariat Dorner, Reinheim, GermaniaAntiquariat Dorner
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 25,00
EUR 31,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Third International Workshop, CTRS-92 Pont-à-Mousson, July 1992. Proceedings. Berlin, Springer 1993. XI, 501 S., OKart. Gutes Exemplar.
Rewriting Techniques and Applications : 10th International Conference, Rta-99, Trento, Italy, July 1999, Proceedings
Narendran, Paliath (EDT); Rusinowitch, M. (EDT); International Conference on Rewriting Techniques and Applications (10th : 1999 : Trento, Italy) (COR)
- Brossura
Da: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 55,99
EUR 2,29 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: BargainBookStores, Grand Rapids, U.S.A.BargainBookStores
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 58,36
Spedizione gratuitaSpedito in U.S.A.Quantità: 5 disponibili
Paperback or Softback. Condizione: New. Rewriting Techniques and Applications: 10th International Conference, Rta'99, Trento, Italy, July 2-4, 1999, Proceedings. Book.
Rewriting Techniques and Applications : 10th International Conference, Rta-99, Trento, Italy, July 1999, Proceedings
Narendran, Paliath (EDT); Rusinowitch, M. (EDT); International Conference on Rewriting Techniques and Applications (10th : 1999 : Trento, Italy) (COR)
- Brossura
Da: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 61,55
EUR 2,29 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
- Brossura
Da: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 63,69
EUR 2,29 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
- Brossura
Da: Antiquariat Bernhardt, Kassel, GermaniaAntiquariat Bernhardt
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 20,00
EUR 49,90 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Broschiert Broschiert. Condizione: Sehr gut. XII, 491 Seiten, Lecture Notes in Artificial Intelligence, Band 3097. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. Schneller Versand und persönlicher Service - jedes Buch händisch geprüft und beschrieben - aus unserem Familienbetrieb seit über 25 Jahren. Eine Rechnung mit ausgewiesen…er Mehrwertsteuer liegt jeder unserer Lieferungen bei. Wir versenden mit der deutschen Post. Sprache: Englisch Gewicht in Gramm: 754.
- Brossura
Da: Roland Antiquariat UG haftungsbeschränkt, Weinheim, GermaniaRoland Antiquariat UG haftungsbeschränkt
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 28,90
EUR 42,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
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.
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 60,51
EUR 13,86 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 60,51
EUR 13,86 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
- Brossura
Da: Chiron Media, Wallingford, Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 57,02
EUR 17,92 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 10 disponibili
PF. Condizione: New.
- Brossura
Da: Chiron Media, Wallingford, Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 57,17
EUR 17,92 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Paperback. Condizione: New.
Lingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE 1993
- Brossura
Da: Rarewaves.com USA, London, Regno UnitoRarewaves.com USA
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 76,60
Spedizione gratuitaSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Paperback. Condizione: New. 1993 ed. 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 ded…uction, 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.
- Brossura
Da: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 74,26
EUR 2,29 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Rewriting Techniques and Applications : 10th International Conference, Rta-99, Trento, Italy, July 1999, Proceedings
Narendran, Paliath (EDT); Rusinowitch, M. (EDT); International Conference on Rewriting Techniques and Applications (10th : 1999 : Trento, Italy) (COR)
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 59,97
EUR 17,35 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 60,12
EUR 17,35 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Rewriting Techniques and Applications : 10th International Conference, Rta-99, Trento, Italy, July 1999, Proceedings
Narendran, Paliath (EDT); Rusinowitch, M. (EDT); International Conference on Rewriting Techniques and Applications (10th : 1999 : Trento, Italy) (COR)
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 66,63
EUR 17,35 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 66,48
EUR 17,35 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
- Brossura
Da: BargainBookStores, Grand Rapids, U.S.A.BargainBookStores
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 85,07
Spedizione gratuitaSpedito in U.S.A.Quantità: 5 disponibili
Paperback or Softback. Condizione: New. Conditional Term Rewriting Systems: Third International Workshop, Ctrs-92, Pont-A-Mousson, France, July 8-10, 1992. Proceedings. Book.
- Brossura
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 62,23
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. Session 1.- Solved Forms for Path Ordering Constraints.- Jeopardy.- Strategic Pattern Matching.- Session 2.- On the Strong Normalization of Natural Deduction with Permutation-Conversions.- Normalisation in Weakly Orthogonal Rewriting.- Strong Normalization.
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 63,90 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: 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 lan…guages, 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.
Altre immagini- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 50,25
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. Condizione: Neu. Conditional Term Rewriting Systems | Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings | Michael Rusinowitch (u. a.) | Taschenbuch | xiii | Englisch | 1993 | Springer | EAN 9783540563938 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenst…r. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 115,42
EUR 13,86 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
- Brossura
Da: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 130,78
EUR 2,29 spedizioneSpedito in U.S.A.Quantità: 15 disponibili
Condizione: New.
- Brossura
Da: Books Puddle, New York, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 129,59
EUR 3,46 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Condizione: New. pp. xi + 501.
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 115,40
EUR 17,35 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: Majestic Books, Hounslow, Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 132,13
EUR 7,52 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Condizione: New. pp. xi + 501 Illus.
- Brossura
Da: Rarewaves.com UK, London, Regno UnitoRarewaves.com UK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 65,07
EUR 75,18 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Paperback. Condizione: New. 1993rd.
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 77,04
EUR 62,69 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. Neuware - This volume contains the proceedings of the 10th International Conference on RewritingTechniques andApplicationsheldfromJuly2-4,1999inTrento, Italy, as part of the Federated Logic Conference (FLoC 99). The RTAconferences are dedicated to all aspects of term, string and graph rewriting as w…ell as their applications such as lambda calculi, theorem-proving, functional programming, decision procedures. The program committee selected 23 papers as well as 4 system descriptions from 53 submissions of overall high quality (46 regular papers and 7 systems descriptions). The papers cover awide range of topics: constraint solving, ter- nation,deductionandhigher-orderrewriting,graphs,complexity,tree automata, context-sensitive rewriting, string rewriting and numeration systems::: by - thors from countries including: France, Germany, India,Israel, Italy,Japan, The Netherlands, Poland, Portugal, Spain, USA. B. Courcelle (Univ. Bordeaux) and F. Otto (Univ. Kassel) presented - vited talks, on graph grammars and connections between rewriting and formal language theory respectively. F. van Raamsdonk (CWI, Amsterdam) gave an invited tutorial on higher-order rewriting. Wewouldliketothanktheexternalreviewersfortheircontributiontoprep- ing the program and Horatiu Cirstea for his help in maintaining the web server of the program committee.
- Brossura
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 92,27
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
