Kniha momentálne nie je na sklade
Higher order algebra, logic, and term rewriting
Autori
Parametre
Viac o knihe
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.
Nákup knihy
Higher order algebra, logic, and term rewriting, Gilles Dowek
- Jazyk
- Rok vydania
- 1996
Akonáhle sa objaví, pošleme vám e-mail.
Doručenie
Platobné metódy
2021 2022 2023
Navrhnúť zmenu
- Titul
- Higher order algebra, logic, and term rewriting
- Jazyk
- anglicky
- Autori
- Gilles Dowek
- Vydavateľ
- Springer
- Rok vydania
- 1996
- ISBN10
- 3540612548
- ISBN13
- 9783540612544
- Séria
- Lecture notes in computer science
- Kategórie
- Počítače, IT, programovanie
- Anotácia
- 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.