Algebraic and Logic Programming

Name: Algebraic and Logic Programming
Brand: Springer, Berlin
SKU: 9783540634591
Price: 19330 HUF
Availability: InStock

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

Szerző: Michael Hanus, Jan Heering, Karl Meinke

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer, Berlin

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

19 330 Ft

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

Információk a könyvről

Szerző

Michael Hanus, Jan Heering, Karl Meinke

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

1997

oldal

297

EAN

9783540634591

ISBN

3540634592

Enbook ID

05274745

Kiadó

Springer, Berlin

Súly

406

Méretek

156 x 234 x 16

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Algebraic and Logic Programming

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

Információk a könyvről

Teljes leírás

Érdekelheti

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

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

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