Rewriting Techniques and Applications : 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings - Taschenbuch
1997, ISBN: 3540629505
[EAN: 9783540629504], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], INTELLIGENZ / KÜNSTLICHE INTELLIGENZ; KI; - AI; PROGRAMMIERSPRACHEN; AUTOMATISCHESSCHLIESSEN; CONSTRAINT-AUFLÖS… 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 : 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings - Taschenbuch
1997, ISBN: 3540629505
[EAN: 9783540629504], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], INTELLIGENZ / KÜNSTLICHE INTELLIGENZ; KI; - AI; PROGRAMMIERSPRACHEN; AUTOMATISCHESSCHLIESSEN; CONSTRAINT-AUFLÖS… 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 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings - neues Buch
1997, ISBN: 3540629505
1997 Kartoniert / Broschiert Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Programmiersprachen, Computerprogrammierung und Softwareentwicklung, Compiler und Übe… 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 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings - neues Buch
1997, ISBN: 3540629505
1997 Kartoniert / Broschiert Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Programmiersprachen, Compiler und Übersetzer, Theoretische Informatik, Künstliche Int… Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
1997, ISBN: 9783540629504
8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 1997
lehmanns.de Versandkosten:Versand in 10-14 Tagen. (EUR 0.00) Details... |
Rewriting Techniques and Applications : 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings - Taschenbuch
1997, ISBN: 3540629505
[EAN: 9783540629504], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], INTELLIGENZ / KÜNSTLICHE INTELLIGENZ; KI; - AI; PROGRAMMIERSPRACHEN; AUTOMATISCHESSCHLIESSEN; CONSTRAINT-AUFLÖS… Mehr…
Hubert Comon:
Rewriting Techniques and Applications : 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings - Taschenbuch1997, ISBN: 3540629505
[EAN: 9783540629504], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], INTELLIGENZ / KÜNSTLICHE INTELLIGENZ; KI; - AI; PROGRAMMIERSPRACHEN; AUTOMATISCHESSCHLIESSEN; CONSTRAINT-AUFLÖS… Mehr…
Rewriting Techniques and Applications 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings - neues Buch
1997
ISBN: 3540629505
1997 Kartoniert / Broschiert Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Programmiersprachen, Computerprogrammierung und Softwareentwicklung, Compiler und Übe… Mehr…
Rewriting Techniques and Applications 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings - neues Buch
1997, ISBN: 3540629505
1997 Kartoniert / Broschiert Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Programmiersprachen, Compiler und Übersetzer, Theoretische Informatik, Künstliche Int… Mehr…
1997, ISBN: 9783540629504
8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 1997
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Rewriting Techniques and Applications
EAN (ISBN-13): 9783540629504
ISBN (ISBN-10): 3540629505
Taschenbuch
Erscheinungsjahr: 1997
Herausgeber: Springer Berlin
360 Seiten
Gewicht: 0,544 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2007-05-27T15:23:39+02:00 (Zurich)
Detailseite zuletzt geändert am 2024-02-29T13:05:31+01:00 (Zurich)
ISBN/EAN: 9783540629504
ISBN - alternative Schreibweisen:
3-540-62950-5, 978-3-540-62950-4
Alternative Schreibweisen und verwandte Suchbegriffe:
Titel des Buches: international 1997, sitges, 1232, rewriting, lecture notes computer science, international proceedings
Daten vom Verlag:
Autor/in: Hubert Comon
Titel: Lecture Notes in Computer Science; Rewriting Techniques and Applications - 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings
Verlag: Springer; Springer Berlin
348 Seiten
Erscheinungsjahr: 1997-05-14
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XII, 348 p.
BC; Hardcover, Softcover / Informatik, EDV/Programmiersprachen; Compiler und Übersetzer; Verstehen; Automatisches Schließen; Constraint-Auflösung; Monoid; Stringersetzung; Termersetzung; Theorem-Beweisen; algorithm; algorithms; automated deduction; constraint solving; programming; programming language; string rewriting; term rewriting; theorem proving; Compilers and Interpreters; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Symbolic and Algebraic Manipulation; Artificial Intelligence; Theoretische Informatik; Mathematik für Informatiker; Künstliche Intelligenz; EA
Well-behaved search and the Robbins problem.- Goal-Directed Completion using SOUR Graphs.- Shostak's congruence closure as completion.- Conditional equational specifications of data types with partial operations for inductive theorem proving.- Cross-sections for finitely presented monoids with decidable word problems.- New undecidability results for finitely presented monoids.- On the property of preserving regularity for string-rewriting systems.- Rewrite systems for natural, integral, and rational arithmetic.- D-bases for polynomial ideals over commutative noetherian rings.- On the word problem for free lattices.- A total, ground path ordering for proving termination of AC-rewrite systems.- Proving innermost normalisation automatically.- Termination of context-sensitive rewriting.- A new parallel closed condition for Church-Rosser of left-linear term rewriting systems.- Innocuous constructor-sharing combinations.- Scott's conjecture is true, position sensitive weights.- Two-dimensional rewriting.- A complete axiomatisation for the inclusion of series-parallel partial orders.- Undecidability of the first order theory of one-step right ground rewriting.- The first-order theory of one step rewriting in linear noetherian systems is undecidable.- Solving linear Diophantine equations using the geometric structure of the solution space.- A criterion for intractability of E-unification with free function symbols and its relevance for combination of unification algorithms.- Effective reduction and conversion strategies for combinators.- Finite family developments.- Prototyping combination of unification algorithms with the ELAN rule-based programming language.- The invariant package of MAS.- Opal: A system for computing noncommutative gröbner bases.- TRAM: An abstract machinefor order-sorted conditional term rewriting systems.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...