Algebraic and Logic Programming

Name: Algebraic and Logic Programming
Brand: Springer, Berlin
SKU: 9783540634591
Price: 52.87 EUR
Availability: InStock

6th International Joint Conference ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings

Автор: Michael Hanus, Jan Heering, Karl Meinke

Език:

Корици: С меки корици

Издател: Springer, Berlin

Наличност: Външен склад

Изпращаме след 5-8 дни

52.87 € 103.41 лв

This book constitutes the refereed proceedings of the 6th International Conference on Algebraic and...

Информация за книгата

Автор

Michael Hanus, Jan Heering, Karl Meinke

Език

Английски език

Корици

Книга - С меки корици

Издадена

1997

страници

297

EAN

9783540634591

ISBN

3540634592

Enbook ID

05274745

Издател

Springer, Berlin

Теглоt

406

Размери

156 x 234 x 16

Пълно описание

This book constitutes the refereed proceedings of the 6th International Conference on Algebraic and Logic Programming, ALP '97 and the 3rd International Workshop on Higher-Order Algebra, Logic and Term Rewriting, HOA '97, held jointly in Southampton, UK, in September 1997.The 18 revised full papers presented in the book were selected from 31 submissions. The volume is divided in sections on functional and logic programming, higher-order methods, term rewriting, types, lambda-calculus, and theorem proving methods.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Algebraic and Logic Programming

6th International Joint Conference ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings

Информация за книгата

Пълно описание

Може също да ви хареса

Imagine Me Gone

Wine People

VIDEO GAME HITS FOR EASY PIANO

Marathon

Mind Your Own Damn Business: The Greatest Lessons the Music Industry Taught Me about Business

Economics of Poverty

Seeds of Disaster

Dubossary Memorial Yizkor Book (Dubasari, Moldova) - Translation of Dubossary; Sefer Zikaron

Клиенти, които купиха тази книга, купиха също

L'Inquisition Devoilee: Mysteres, Delations, Tortures

Dějiny sovětského a ruského letectva od začátku 2. světové války do současnosti - DVD

Kuku i historia pępka

La meilleure façon d'avancer, c'est vous

A New Start - Englisch für Wiedereinsteiger - Bisherige Ausgabe - A2: Refresher

Lehrbuch Der Sprechtechnik

Zvýrazňovač STABILO swing cool Pastel, sada 6 ks v pouzdru

EVERY BODY