- 5 Risultati
prezzo più basso: € 29,14, prezzo più alto: € 89,58, prezzo medio: € 50,76
1
String-Rewriting Systems by Friedrich, Book, Ronald V. Otto - Friedrich, Book, Ronald V. Otto
Ordina
da BetterWorldBooks.com
€ 29,14
Ordina
Dettagli & spedizione
Link sponsorizzato
Friedrich, Book, Ronald V. Otto:

String-Rewriting Systems by Friedrich, Book, Ronald V. Otto - libri usati

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… Altro …

used in stock. Costi di spedizione:zzgl. Versandkosten., Costi di spedizione aggiuntivi
Chiudere (X)
2
String-Rewriting Systems (Monographs in Computer Science) - Book, Ronald V. Otto, Friedrich
Ordina
da amazon.de
€ 46,90
Spedizione: € 3,001
Ordina
Dettagli del offerente
Link sponsorizzato

Book, Ronald V. Otto, Friedrich:

String-Rewriting Systems (Monographs in Computer Science) - copertina rigida, flessible

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… Altro …

Gut Costi di spedizione:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Antiquariat Günter Hochgrebe
Chiudere (X)
3
String-Rewriting Systems - BOOK, Ronald V.; OTTO, Friedrich
Ordina
da AbeBooks.com
$ 50,00
(indicativi € 44,10)
Spedizione: € 8,251
Ordina
Dettagli del offerente
Link sponsorizzato
BOOK, Ronald V.; OTTO, Friedrich:
String-Rewriting Systems - copertina rigida, flessible

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., … Altro …

CDN - NOT NEW BOOK. Costi di spedizione: EUR 8.25 Attic Books (ABAC, ILAB), London, ON, Canada [51743749] [Rating: 5 (of 5)]
Chiudere (X)
4
Ordina
da Biblio.co.uk
$ 50,00
(indicativi € 44,10)
Spedizione: € 7,281
Ordina
Dettagli del offerente
Link sponsorizzato
BOOK, Ronald V.; OTTO, Friedrich:
String-Rewriting Systems - copertina rigida, flessible

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

Costi di spedizione: EUR 7.28 Attic Books
Chiudere (X)
5
String-Rewriting Systems - Otto Friedrich Book Ronald V.
Ordina
da AbeBooks.com
$ 101,57
(indicativi € 89,58)
Spedizione: € 8,841
Ordina
Dettagli del offerente
Link sponsorizzato
Otto Friedrich Book Ronald V.:
String-Rewriting Systems - copertina rigida, flessible

1998, ISBN: 0387979654

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

Costi di spedizione: EUR 8.84 Majestic Books, Hounslow, United Kingdom [51749587] [Rating: 4 (of 5)]
Chiudere (X)
1Poiché alcune piattaforme non trasmettono le condizioni di spedizione e queste possono dipendere dal paese di consegna, dal prezzo di acquisto, dal peso e dalle dimensioni dell'articolo, dall'eventuale iscrizione alla piattaforma, dalla consegna diretta da parte della piattaforma o tramite un fornitore terzo (Marketplace), ecc. è possibile che le spese di spedizione indicate da eurolibro non corrispondano a quelle della piattaforma offerente.

Dati bibliografici del miglior libro corrispondente

Dettagli del libro
String-Rewriting Systems (Monographs in Computer Science)
Autore:
Titolo:
ISBN:

0387979654


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."

Informazioni dettagliate del libro - String-Rewriting Systems (Monographs in Computer Science)


EAN (ISBN-13): 9780387979656
ISBN (ISBN-10): 0387979654
Copertina rigida
Anno di pubblicazione: 1993
Editore: Springer

Libro nella banca dati dal 2007-07-10T01:42:07+02:00 (Rome)
Pagina di dettaglio ultima modifica in 2023-12-29T19:52:52+01:00 (Rome)
ISBN/EAN: 0387979654

ISBN - Stili di scrittura alternativi:
0-387-97965-4, 978-0-387-97965-6
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : otto friedrich, book ronald, otto best, otto will
Titolo del libro: the fifth string, rewriting, computer systems

Dati dell'editore

Autore: Ronald V. Book; Friedrich Otto
Titolo: Monographs in Computer Science; String-Rewriting Systems
Editore: Springer; Springer US
189 Pagine
Anno di pubblicazione: 1998-02-18
New York; NY; US
Peso: 0,445 kg
Lingua: Inglese
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.
< Per archiviare...