Atnaujintas knygų su minimaliais defektais pasiūlymas! Naršykite ČIA >>

Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA 95, Paderborn, Germany, September 1995. Selected Papers

-20% su kodu: BOOKS
67,74 
Įprasta kaina: 84,68 
-20% su kodu: BOOKS
Kupono kodas: BOOKS
Akcija baigiasi: 2025-03-09
-20% su kodu: BOOKS
67,74 
Įprasta kaina: 84,68 
-20% su kodu: BOOKS
Kupono kodas: BOOKS
Akcija baigiasi: 2025-03-09
-20% su kodu: BOOKS
2025-02-28 84.6800 InStock
Nemokamas pristatymas į paštomatus per 11-15 darbo dienų užsakymams nuo 10,00 

Knygos aprašymas

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.

Informacija

Serija: Lecture Notes in Computer Science
Leidėjas: Springer Berlin Heidelberg
Išleidimo metai: 1996
Knygos puslapių skaičius: 304
ISBN-10: 3540612548
ISBN-13: 9783540612544
Formatas: 235 x 155 x 17 mm. Knyga minkštu viršeliu
Kalba: Anglų

Pirkėjų atsiliepimai

Parašykite atsiliepimą apie „Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA 95, Paderborn, Germany, September 1995. Selected Papers“

Būtina įvertinti prekę

Goodreads reviews for „Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA 95, Paderborn, Germany, September 1995. Selected Papers“