Beschreibung
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
Higher-Order Algebra, Logic, and Term Rewriting
Lieferzeit: Lieferbar innerhalb 14 Tagen
53,49 €
inkl. 7 % MwSt. zzgl. Versandkosten
First International Workshop, HOA ’93, Amsterdam, The Netherlands, September 23 – 24,1993.Selected Papers, Lecture Notes in Computer Science 816
| ISBN: | 3540582339 |
|---|---|
| ISBN 13: | 9783540582335 |
| Herausgeber: | Jan Heering/Karl Meinke/Bernhard Möller et al |
| Verlag: | Springer Verlag GmbH |
| Umfang: | ix, 351 S. |
| Erscheinungsdatum: | 28.07.1994 |
| Produktform: | Kartoniert |
| Einband: | Kartoniert |
Das könnte Ihnen auch gefallen …
-
![Produktbild: Rewriting Biblical History]()
Rewriting Biblical History
189,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: REWRITING MYTHS]()
REWRITING MYTHS
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic and Algebra of Specification]()
Logic and Algebra of Specification
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Advanced Topics in Term Rewriting]()
Advanced Topics in Term Rewriting
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Genre-Rewriting]()
Genre-Rewriting
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Confluent String Rewriting]()
Confluent String Rewriting
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic, Algebra, and Computation]()
Logic, Algebra, and Computation
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting History in Manga]()
Rewriting History in Manga
96,29 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting, Manipulation and Translator Subjectivity]()
Rewriting, Manipulation and Translator Subjectivity
117,69 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting History in Soviet Russia]()
Rewriting History in Soviet Russia
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Universal Algebra, Algebraic Logic, and Databases]()
Universal Algebra, Algebraic Logic, and Databases
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Postcolonial Rewriting: Den Mythos der Shakespeare'schen Vorherrschaft zerbrechen]()
Postcolonial Rewriting: Den Mythos der Shakespeare’schen Vorherrschaft zerbrechen
54,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic in High Definition]()
Logic in High Definition
117,69 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting Logic and Its Applications]()
Rewriting Logic and Its Applications
62,05 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: First-Order Modal Logic]()
First-Order Modal Logic
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting Logic and Its Applications]()
Rewriting Logic and Its Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting Logic and Its Applications]()
Rewriting Logic and Its Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Advanced Topics in Term Rewriting]()
Advanced Topics in Term Rewriting
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting and Interpreting the Hebrew Bible]()
Rewriting and Interpreting the Hebrew Bible
174,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting History in Soviet Russia]()
Rewriting History in Soviet Russia
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: From Scribal Error to Rewriting]()
From Scribal Error to Rewriting
190,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Translating/Rewriting the Other]()
Translating/Rewriting the Other
79,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting The Bible]()
Rewriting The Bible
76,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic, Rewriting, and Concurrency]()
Logic, Rewriting, and Concurrency
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting History in Manga]()
Rewriting History in Manga
149,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof Theory and Algebra in Logic]()
Proof Theory and Algebra in Logic
40,65 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Higher-Order Algebra, Logic, and Term Rewriting]()
Higher-Order Algebra, Logic, and Term Rewriting
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Intensional First-Order Logic]()
Intensional First-Order Logic
179,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting Logic and Its Applications]()
Rewriting Logic and Its Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting Techniques and Applications]()
Rewriting Techniques and Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: First-Order Logic]()
First-Order Logic
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting the First World War]()
Rewriting the First World War
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting Techniques and Applications]()
Rewriting Techniques and Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic and Algebra of Specification]()
Logic and Algebra of Specification
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Solving Higher-Order Equations]()
Solving Higher-Order Equations
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting Dickens]()
Rewriting Dickens
34,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Topology, Algebra and Categories in Logic]()
Topology, Algebra and Categories in Logic
64,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Universal Algebra, Algebraic Logic, and Databases]()
Universal Algebra, Algebraic Logic, and Databases
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Solving Higher-Order Equations]()
Solving Higher-Order Equations
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Conditional and Typed Rewriting Systems]()
Conditional and Typed Rewriting Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Higher-Order Systems]()
Higher-Order Systems
149,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting Techniques and Applications]()
Rewriting Techniques and Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Higher Order Logic Theorem Proving and Its Applications]()
Higher Order Logic Theorem Proving and Its Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Ernst Schroder on Algebra and Logic]()
Ernst Schroder on Algebra and Logic
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting Maimonides]()
Rewriting Maimonides
139,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting Logic and Its Applications]()
Rewriting Logic and Its Applications
51,36 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting, Computation and Proof]()
Rewriting, Computation and Proof
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Renaissance Rewritings]()
Renaissance Rewritings
124,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting Techniques and Applications]()
Rewriting Techniques and Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Hermeneutic Desire and Critical Rewriting]()
Hermeneutic Desire and Critical Rewriting
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The High School Algebra]()
The High School Algebra
26,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Modelling Puzzles in First Order Logic]()
Modelling Puzzles in First Order Logic
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Twin and Higher-order Pregnancies]()
Twin and Higher-order Pregnancies
181,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting Techniques and Applications]()
Rewriting Techniques and Applications
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Regulated Rewriting in Formal Language Theory]()
Regulated Rewriting in Formal Language Theory
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Efficient Graph Rewriting and Its Implementation]()
Efficient Graph Rewriting and Its Implementation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting Humour in Comic Books]()
Rewriting Humour in Comic Books
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting Logic and Its Applications]()
Rewriting Logic and Its Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting, Manipulation and Translator Subjectivity]()
Rewriting, Manipulation and Translator Subjectivity
117,69 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Conditional and Typed Rewriting Systems]()
Conditional and Typed Rewriting Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting Techniques and Applications]()
Rewriting Techniques and Applications
37,44 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Hybrid High-Order Methods]()
Hybrid High-Order Methods
64,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Going to Extremes in Biblical Rewritings]()
Going to Extremes in Biblical Rewritings
129,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting Techniques and Applications]()
Rewriting Techniques and Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Conditional Term Rewriting Systems]()
Conditional Term Rewriting Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting Techniques and Applications]()
Rewriting Techniques and Applications
42,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting Techniques and Applications]()
Rewriting Techniques and Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Matrix Algebra of Logic]()
The Matrix Algebra of Logic
49,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting Logic and Its Applications]()
Rewriting Logic and Its Applications
49,22 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: String-Rewriting Systems]()
String-Rewriting Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Integrating Algebra and Proof in High School]()
Integrating Algebra and Proof in High School
79,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting Techniques and Applications]()
Rewriting Techniques and Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting German History]()
Rewriting German History
117,69 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Symbolic Rewriting Techniques]()
Symbolic Rewriting Techniques
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting German History]()
Rewriting German History
96,29 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting Logic and Its Applications]()
Rewriting Logic and Its Applications
74,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: First-Order Logic and Automated Theorem Proving]()
First-Order Logic and Automated Theorem Proving
96,29 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Term Rewriting]()
Term Rewriting
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Transforming Memories in Contemporary Women's Rewriting]()
Transforming Memories in Contemporary Women’s Rewriting
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: First Order-Logic]()
First Order-Logic
84,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting Medieval French Literature]()
Rewriting Medieval French Literature
159,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: 'Beurs' Rewriting the French Tradition]()
‚Beurs‘ Rewriting the French Tradition
61,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting Techniques and Applications]()
Rewriting Techniques and Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Higher Order Logic Theorem Proving and Its Applications]()
Higher Order Logic Theorem Proving and Its Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Higher-Order Computability]()
Higher-Order Computability
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic in High Definition]()
Logic in High Definition
117,69 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Higher-Order Systems]()
Higher-Order Systems
149,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Erasing and Rewriting in Manuscript Cultures]()
Erasing and Rewriting in Manuscript Cultures
119,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Conditional Term Rewriting Systems]()
Conditional Term Rewriting Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computational Aspects of an Order-Sorted Logic with Term Declarations]()
Computational Aspects of an Order-Sorted Logic with Term Declarations
37,44 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting rewriting]()
Rewriting rewriting
95,75 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting Techniques and Applications]()
Rewriting Techniques and Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Twin and Higher-order Pregnancies]()
Twin and Higher-order Pregnancies
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting Techniques and Applications]()
Rewriting Techniques and Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Transforming Memories in Contemporary Women's Rewriting]()
Transforming Memories in Contemporary Women’s Rewriting
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: First-Order Modal Logic]()
First-Order Modal Logic
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Higher-Order Computability]()
Higher-Order Computability
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Higher Order Logic Theorem Proving and Its Applications]()
Higher Order Logic Theorem Proving and Its Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting and Typed Lambda Calculi]()
Rewriting and Typed Lambda Calculi
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Ernst Schroder on Algebra and Logic]()
Ernst Schroder on Algebra and Logic
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
