Higher-Order Algebra, Logic, and Term Rewriting
Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers
This book presents a collection of revised refereed papers selected from the presentations accepted for the Second International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, HOA '95, held in Paderborn, Germany, in September 1995.The 14 research papers included, together with an invited paper by Jan Willem Klop, report state-of-the-art results; the relevant theoretical aspects are addressed, and in addition existing proof systems and term rewriting systems are discussed.
CHF 100.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
Weitere Autoren: Heering, Jan (Hrsg.) / Meinke, Karl (Hrsg.) / Möller, Bernhard (Hrsg.)
- ISBN: 978-3-540-61254-4
- EAN: 9783540612544
- Produktnummer: 3384262
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 1996
- Seitenangabe: 304 S.
- Masse: H23.5 cm x B15.5 cm x D1.6 cm 464 g
- Auflage: 1996
- Abbildungen: Paperback
- Gewicht: 464
6 weitere Werke von Gilles (Hrsg.) Dowek:
Automated Reasoning
Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers
Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers
Ebook (PDF Format)
CHF 133.50
Bewertungen
Anmelden