- 5 resultaten
laagste prijs: € 29,14, hoogste prijs: € 89,58, gemiddelde prijs: € 50,76
1
String-Rewriting Systems by Friedrich, Book, Ronald V. Otto - Friedrich, Book, Ronald V. Otto
bestellen
bij BetterWorldBooks.com
€ 29,14
bestellen
Details en verzending
Gesponsorde link
Friedrich, Book, Ronald V. Otto:

String-Rewriting Systems by Friedrich, Book, Ronald V. Otto - gebruikt boek

ISBN: 9780387979656

The book represents an attempt by the authors to gather together the most fundamental results on string-rewriting systems. The goal is to explain these results in such a way that they can… Meer...

used in stock. Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten
dichtslaan (X)
2
String-Rewriting Systems (Monographs in Computer Science) - Book, Ronald V. Otto, Friedrich
bestellen
bij amazon.de
€ 46,90
verzending: € 3,001
bestellen
Details aangeboden
Gesponsorde link

Book, Ronald V. Otto, Friedrich:

String-Rewriting Systems (Monographs in Computer Science) - gebonden uitgave, pocketboek

1998, ISBN: 9780387979656

Springer, Gebundene Ausgabe, Auflage: 1993, 197 Seiten, Publiziert: 1998-02-18T00:00:01Z, Produktgruppe: Buch, Informatik, IT-Ausbildung & -Berufe, Computer & Internet, Kategorien, Bücher… Meer...

Gut Verzendingskosten:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Antiquariat Günter Hochgrebe
dichtslaan (X)
3
String-Rewriting Systems - BOOK, Ronald V.; OTTO, Friedrich
bestellen
bij AbeBooks.com
$ 50,00
(ongeveer € 44,10)
verzending: € 8,251
bestellen
Details aangeboden
Gesponsorde link
BOOK, Ronald V.; OTTO, Friedrich:
String-Rewriting Systems - gebonden uitgave, pocketboek

1993

ISBN: 0387979654

[EAN: 9780387979656], Near Fine, [PU: Springer, New York], COMPUTER SCIENCE, ALGEBRA, Texts and Monographs in Computer Science. viii, 189 p. 25 cm. Ink signature on front free endpaper., … Meer...

CDN - NOT NEW BOOK. Verzendingskosten: EUR 8.25 Attic Books (ABAC, ILAB), London, ON, Canada [51743749] [Rating: 5 (of 5)]
dichtslaan (X)
4
bestellen
bij Biblio.co.uk
$ 50,00
(ongeveer € 44,10)
verzending: € 7,281
bestellen
Details aangeboden
Gesponsorde link
BOOK, Ronald V.; OTTO, Friedrich:
String-Rewriting Systems - gebonden uitgave, pocketboek

1993, ISBN: 9780387979656

New York: Springer, 1993. Hardcover. Near fine. Texts and Monographs in Computer Science. viii, 189 p. 25 cm. Ink signature on front free endpaper., Springer, 1993, 4

Verzendingskosten: EUR 7.28 Attic Books
dichtslaan (X)
5
String-Rewriting Systems - Otto Friedrich Book Ronald V.
bestellen
bij AbeBooks.com
$ 101,57
(ongeveer € 89,58)
verzending: € 8,841
bestellen
Details aangeboden
Gesponsorde link
Otto Friedrich Book Ronald V.:
String-Rewriting Systems - gebonden uitgave, pocketboek

1998, ISBN: 0387979654

[EAN: 9780387979656], [PU: Springer], pp. viii + 189, Books

Verzendingskosten: EUR 8.84 Majestic Books, Hounslow, United Kingdom [51749587] [Rating: 4 (of 5)]
dichtslaan (X)
1Aangezien sommige platformen geen verzendingsvoorwaarden meedelen en deze kunnen afhangen van het land van levering, de aankoopprijs, het gewicht en de grootte van het artikel, een eventueel lidmaatschap van het platform, een rechtstreekse levering door het platform of via een derde aanbieder (Marktplaats), enz., is het mogelijk dat de door euro-boek.nl meegedeelde verzendingskosten niet overeenstemmen met deze van het aanbiedende platform.

Bibliografische gegevens van het best passende boek

Bijzonderheden over het boek
String-Rewriting Systems (Monographs in Computer Science)
auteur:
Titel:
ISBN:

9780387979656


The book represents an attempt by the authors to gather together the most fundamental results on string-rewriting systems. The goal is to explain these results in such a way that they can be understood and used in studies relating to more general rewriting, automated deduction, and algorithmic problems of algebraic structures. The authors have concentrated on presenting basic material that ought to be a prerequisite for understanding more specialized material. The monograph opens with the preliminaries of string-rewriting systems followed by length as the basis for reduction. Monadic string-rewriting systems is covered as well as length-reducing non-monadic string-writing systems. The book closes with the subjects of algebraic protocols and algebraic properties. When the reader has mastered the material in the core of the book (Chapters 1-4), then that person should be equipped to explore the ever-growing body of literature in the field of string-rewriting systems. Both authors have been active in the field of string-rewriting systems and have lectured on the subject in several universities. Lecture notes have been produced and distributed. This monograph is a result of revising and rewriting those notes. This monograph is written for independent study by researchers in theoretical computer science or in the foundation of artificial intelligence. This book is not intended as a textbook, but it certainly could be used as a textbook in computer science. It could be used for a course entitled "Rewriting Systems," or "String Rewriting," or "Foundations of Artificial Intelligence."

Gedetalleerde informatie over het boek. - String-Rewriting Systems (Monographs in Computer Science)


EAN (ISBN-13): 9780387979656
ISBN (ISBN-10): 0387979654
Gebonden uitgave
Verschijningsjaar: 1993
Uitgever: Springer

Boek bevindt zich in het datenbestand sinds 2007-07-10T01:42:07+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2023-12-29T19:52:52+01:00 (Amsterdam)
ISBN/EAN: 9780387979656

ISBN - alternatieve schrijfwijzen:
0-387-97965-4, 978-0-387-97965-6
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: otto friedrich, book ronald, otto best, otto will
Titel van het boek: the fifth string, rewriting, computer systems

Gegevens van de uitgever

Auteur: Ronald V. Book; Friedrich Otto
Titel: Monographs in Computer Science; String-Rewriting Systems
Uitgeverij: Springer; Springer US
189 Bladzijden
Verschijningsjaar: 1998-02-18
New York; NY; US
Gewicht: 0,445 kg
Taal: Engels
85,55 € (DE)
87,95 € (AT)
88,00 CHF (CH)
Not available, publisher indicates OP

BB; Book; Hardcover, Softcover / Informatik, EDV/Anwendungs-Software; Künstliche Intelligenz; Verstehen; group; intelligence; form; computer science; construction; boundary element method; transformation; turing degree; automata; security; Algebraic structure; algebra; Turing machine; artificial intelligence; congruence; B; Artificial Intelligence (incl. Robotics); Computer Science; Robotik; BC; EA

0 Introduction.- 0.1 Historical Development.- 0.2 An Outline of Recent Developments.- 0.3 Contents of the Monograph.- 1 Preliminaries.- 1.1 Abstract Reduction Systems.- 1.2 Reduction Modulo an Equivalence Relation.- 1.3 Strings, Languages and Automata.- 1.4 Some Turing Machine Constructions.- 1.5 Bibliographic Remarks.- 2 String-Rewriting Systems.- 2.1 Rewriting Systems for Strings.- 2.2 Computing Normal Forms.- 2.3 Testing for Local Confluence.- 2.4 The Knuth-Bendix Completion Procedure.- 2.5 Some Undecidable Properties.- 2.6 Bibliographic Remarks.- 3 Length as the Basis for Reduction.- 3.1 Basic Properties.- 3.2 Testing for Confluence.- 3.3 Confluence on a Single Class.- 3.4 Equivalent Systems.- 3.5 Church-Rosser Congruences.- 3.6 Other Systems Based on Length.- 3.7 Bibliographic Remarks.- 4 Monadic String-Rewriting Systems.- 4.1 Basic Properties.- 4.2 Specification of Formal Languages.- 4.3 A Decision Procedure.- 4.4 Applications of the Decision Procedure.- 4.5 Limitations of the Decision Procedure.- 4.6 Bibliographic Remarks.- 5 Length-Reducing Non-Monadic String-Rewriting Systems.- 5.1 Presenting Recursively Enumerable Languages.- 5.2 Some Undecidability Results.- 5.3 Some Questions on Congruential Languages.- 5.4 Bibliographic Remarks.- 6 Algebraic Protocols.- 6.1 Basic Properties.- 6.2 Security and Cascade Protocols.- 6.3 Security and Name-Stamp Protocols.- 6.4 Bibliographic Remarks.- 7 Algebraic Properties.- 7.1 Finite Monoid-Presentations.- 7.2 Tietze Transformations.- 7.3 Some Undecidability Results.- 7.4 The Free Monoid Problem.- 7.5 The Group Problem.- 7.6 Bibliographic Remarks.- References.
< naar Archief...