Livrare gratuită pentru comenzile peste 349,00 lei.

Verifică starea comenzii

Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

Higher-Order Algebra, Logic, and Term Rewriting

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

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

Limba

engleză

Carte Carte broșată

Codul Libristo: 05274403

Editura Springer, Berlin, noiembrie 1993

This volume contains the final revised versions of the best papers presented at the First Internatio... Descrierea completă

Codul Libristo: 05274403

132 b

285.16 lei

În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

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

Copertă tare

26.19 lei

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

Copertă tare

128.80 lei

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

Carte broșată

69.96 lei

Billy Lafitte - tome 1 Lune noire Anthony Neil Smith

Carte broșată

62.37 lei

Dibujo técnico 1º bachillerato Edebé

Carte broșată

286.20 lei

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

Carte broșată

66.84 lei

Paris Avant l'Histoire BERTHET-E

Carte broșată

149.18 lei

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

Carte broșată

192.63 lei

Sauerkrautkoma, 6 Audio-CD Rita Falk

Audio CD

109.77 lei

Naruto 65 Masashi Kishimoto

Carte broșată

40.02 lei

Briefe aus Russland Helmuth von Moltke

Carte broșată

197.83 lei

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.