Mohlo by se vám také líbit

Více informací o knize Higher-Order Algebra, Logic, and Term Rewriting

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 168 bodů

Anotace knihy

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.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer science Mathematical theory of computation

• Plný název: Higher-Order Algebra, Logic, and Term Rewriting
• Podnázev: 2nd International Workshop, Paderborn, Germany, September 1995. Selected Papers
• Autor: Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 296
• EAN: 9783540612544
• ISBN: 3540612548
• ID: 05274575
• Nakladatelství: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnost: 950 g
• Rozměry: 235 × 155 × 17 mm
• Datum vydání: 08. May 1996

Oblíbené z jiného soudku

---

---

---