Rewriting Techniques and Applications : 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings - Taschenbuch
2002, ISBN: 3540439161
[EAN: 9783540439165], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], INTELLIGENZ / KÜNSTLICHE INTELLIGENZ; KI; - AI; EXCEPTION; LA; ANTS; AUTOMATEDDEDUCTION; CALCULUS; DERIVATION; … Mehr…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
Rewriting Techniques and Applications : 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings - Taschenbuch
2002, ISBN: 3540439161
[EAN: 9783540439165], Neubuch, [PU: Springer Berlin Heidelberg], INTELLIGENZ / KÜNSTLICHE INTELLIGENZ; KI; - AI; EXCEPTION; LA; ANTS; AUTOMATEDDEDUCTION; CALCULUS; DERIVATION; EXPLICITESU… Mehr…
AbeBooks.de AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
2002, ISBN: 3540439161
[EAN: 9783540439165], Neubuch, [PU: Springer Berlin Heidelberg Jul 2002], INTELLIGENZ / KÜNSTLICHE INTELLIGENZ; KI; - AI; EXCEPTION; LA; ANTS; AUTOMATEDDEDUCTION; CALCULUS; DERIVATION; EX… Mehr…
AbeBooks.de BuchWeltWeit Inh. Ludwig Meier e.K., Bergisch Gladbach, Germany [57449362] [Rating: 5 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
Rewriting Techniques and Applications: 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings (Lecture Notes in Computer Science) - Taschenbuch
2008, ISBN: 9783540439165
404 Seiten Taschenbuch Gepflegtes ehemaliges Bibliotheksexemplar mit den üblichen Kennzeichnungen (z.B. Barcode und Inventarisierungsnummer); in der Regel foliiert (Umschlag aus selbstkle… Mehr…
buchfreund.de |
Rewriting Techniques and Applications 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings - neues Buch
2002, ISBN: 3540439161
2002 Kartoniert / Broschiert Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Computerprogrammierung und Softwareentwicklung, Compiler und Übersetzer, Theoretische… Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
Rewriting Techniques and Applications : 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings - Taschenbuch
2002, ISBN: 3540439161
[EAN: 9783540439165], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], INTELLIGENZ / KÜNSTLICHE INTELLIGENZ; KI; - AI; EXCEPTION; LA; ANTS; AUTOMATEDDEDUCTION; CALCULUS; DERIVATION; … Mehr…
Sophie Tison:
Rewriting Techniques and Applications : 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings - Taschenbuch2002, ISBN: 3540439161
[EAN: 9783540439165], Neubuch, [PU: Springer Berlin Heidelberg], INTELLIGENZ / KÜNSTLICHE INTELLIGENZ; KI; - AI; EXCEPTION; LA; ANTS; AUTOMATEDDEDUCTION; CALCULUS; DERIVATION; EXPLICITESU… Mehr…
2002
ISBN: 3540439161
[EAN: 9783540439165], Neubuch, [PU: Springer Berlin Heidelberg Jul 2002], INTELLIGENZ / KÜNSTLICHE INTELLIGENZ; KI; - AI; EXCEPTION; LA; ANTS; AUTOMATEDDEDUCTION; CALCULUS; DERIVATION; EX… Mehr…
Rewriting Techniques and Applications: 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings (Lecture Notes in Computer Science) - Taschenbuch
2008, ISBN: 9783540439165
404 Seiten Taschenbuch Gepflegtes ehemaliges Bibliotheksexemplar mit den üblichen Kennzeichnungen (z.B. Barcode und Inventarisierungsnummer); in der Regel foliiert (Umschlag aus selbstkle… Mehr…
Rewriting Techniques and Applications 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings - neues Buch
2002, ISBN: 3540439161
2002 Kartoniert / Broschiert Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Computerprogrammierung und Softwareentwicklung, Compiler und Übersetzer, Theoretische… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Rewriting Techniques and Applications
EAN (ISBN-13): 9783540439165
ISBN (ISBN-10): 3540439161
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2002
Herausgeber: Springer Berlin
404 Seiten
Gewicht: 0,608 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2007-08-16T22:23:16+02:00 (Vienna)
Detailseite zuletzt geändert am 2023-07-19T19:32:23+02:00 (Vienna)
ISBN/EAN: 9783540439165
ISBN - alternative Schreibweisen:
3-540-43916-1, 978-3-540-43916-5
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: tison, tiso
Titel des Buches: you know denmark, proceedings international conference, rewriting lecture notes computer, copenhagen
Daten vom Verlag:
Autor/in: Sophie Tison
Titel: Lecture Notes in Computer Science; Rewriting Techniques and Applications - 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings
Verlag: Springer; Springer Berlin
392 Seiten
Erscheinungsjahr: 2002-07-10
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XII, 392 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Computerprogrammierung und Softwareentwicklung; Verstehen; Exception; LA; ants; automated deduction; calculus; derivation; explicite substitutions; formal methods verfification; logic; model checking; program calculi; proving; rewriting systems; term rewriting; termination; Programming Techniques; Formal Languages and Automata Theory; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Artificial Intelligence; Symbolic and Algebraic Manipulation; Theoretische Informatik; Compiler und Übersetzer; Künstliche Intelligenz; Mathematik für Informatiker; EA
Invited Talks.- Combining Shostak Theories.- Multiset Rewriting and Security Protocol Analysis.- Engineering of Logics for the Content-Based Representation of Information.- Regular Papers, Application Papers.- Axiomatic Rewriting Theory VI: Residual Theory Revisited.- Static Analysis of Modularity of ?-Reduction in the Hyperbalanced ?-Calculus.- Exceptions in the Rewriting Calculus.- Deriving Focused Lattice Calculi.- Layered Transducing Term Rewriting System and Its Recognizability Preserving Property.- Decidability and Closure Properties of Equational Tree Languages.- Regular Sets of Descendants by Some Rewrite Strategies.- Rewrite Games.- An Extensional Böhm Model.- A Weak Calculus with Explicit Operators for Pattern Matching and Substitution.- Tradeoffs in the Intensional Representation of Lambda Terms.- Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae.- Conditions for Efficiency Improvement by Tree Transducer Composition.- Rewriting Strategies for Instruction Selection.- Probabilistic Rewrite Strategies. Applications to ELAN.- Loops of Superexponential Lengths in One-Rule String Rewriting.- Recursive Derivational Length Bounds for Confluent Term Rewrite Systems Research Paper.- Termination of (Canonical) Context-Sensitive Rewriting.- Atomic Set Constraints with Projection.- Currying Second-Order Unification Problems.- A Decidable Variant of Higher Order Matching.- Combining Decision Procedures for Positive Theories Sharing Constructors.- System Descriptions.- JITty: A Rewriter with Strategy Annotations.- Autowrite: A Tool for Checking Properties of Term Rewriting Systems.- TTSLI: An Implementation of Tree-Tuple Synchronized Languages.- in2: A Graphical Interpreter for Interaction Nets.Includes supplementary material: sn.pub/extras
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9780123909602 Rewriting Techniques and Applications (Unknown, Author)
- 9780123909602 Rewriting Techniques and Applications (Unknown, Author)
- 9780119602456 Peaceful Uses of Atomic Energy: 4th International Conference: Applications of Nuclear Techniques in Industry and in the Study of Natural Res (International Atomic Energy Agency)
- 9780387159768 Rewriting Techniques and Applications: Dijon, France, May 20-22, 1985 (Lecture Notes in Computer Science) (Jouannaud, Jean-Pierre (editor) ; G. Goos; J. Hartmanis)
- 9780387539041 Rewriting Techniques and Applications: 4th International Conference, Rta-91, Cumo, Italy, April 10-12, 1991 Proceedings (Book, Ronald V. (ed.))
- Rewriting Techniques and Applications (Jouannaud, J-P)
< zum Archiv...