Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Higher-Order Algebra, Logic, and Term Rewriting

Name: Higher-Order Algebra, Logic, and Term Rewriting
Brand: Springer, Berlin
SKU: 05274403
Price: 51.68 EUR
Availability: InStock
Author: Jan Heering
ISBN: 9783540582335

First International Workshop, Amsterdam, The Netherlands, September 23-24, 1993. Selected Papers

Език

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

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

Код Либристо: 05274403

Издателство Springer, Berlin, ноември 1993

This volume contains the final revised versions of the best papers presented at the First Internatio... Цялото описание

Код Либристо: 05274403

125 b

51.68 €

101.07 лв

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

До 30 дни за връщане на стоки

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

Semienko súcitu Jeho svätosť dalajláma

С твърди корици

5.17 € 10.11 лв

MEMORIES D'UN VICARI GENERAL DE LA SEU D'URGELL, D CREUS

С твърди корици

22.34 € 43.70 лв

Lettre A Un Depute de Ses Amis, Sur Le Projet de Loi Electorale DESERIN-J-B

С меки корици

12.72 € 24.88 лв

Billy Lafitte - tome 1 Lune noire Anthony Neil Smith

С меки корици

12.41 € 24.27 лв

Dibujo técnico 1º bachillerato Edebé

С меки корици

49.40 € 96.62 лв

BROCKHAUSEN Libro da colorare Vol. 3 - Libro da colorare: Dinosauro Dortje Golldack

С меки корици

12.15 € 23.77 лв

Paris Avant l'Histoire BERTHET-E

С меки корици

27.26 € 53.31 лв

Les Avantures de Telemaque Fils d'Ulysse. Tome 1 Francois De Salignac De La Mothe-Fenelon

С меки корици

35.17 € 68.79 лв

Sauerkrautkoma, 6 Audio-CD Rita Falk

Аудио компактдиск

19.76 € 38.64 лв

Naruto 65 Masashi Kishimoto

С меки корици

7.44 € 14.56 лв

Briefe aus Russland Helmuth von Moltke

С меки корици

35.69 € 69.80 лв

This volume contains the final revised versions of the best papers presented at the First International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (HOA '93), held in Amsterdam in September 1993. Higher-Order methods are increasingly applied in functional and logic programming languages, as well as in specification and verification of programs and hardware. The 15 full papers in this volume are devoted to the algebra and model theory of higher-order languages, computational logic techniques including resolution and term rewriting, and specification and verification case studies; in total they provide a competently written overview of current research and suggest new research directions in this vigourous area.