Menu
Виж статуса на поръчката
Свържете се с нас
Книга Rewriting Techniques and Applications Harald Ganzinger

Rewriting Techniques and Applications

7th International Conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996. Proceedings

Автор: Harald Ganzinger
Език: Английски език
Корици: С меки корици
Издател: Springer, Berlin
Наличност: Външен склад
Изпращаме след 5-8 дни
52.71 € 103.09 лв
This book constitutes the refereed proceedings of the 7th International Conference on Rewriting Tech...

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

Автор
Harald Ganzinger
Език
Английски език
Корици
Книга - С меки корици
Издадена
1996
страници
440
EAN
9783540614647
ISBN
3540614648
Enbook ID
02092627
Издател
Springer, Berlin
Теглоt
602
Размери
156 x 234 x 23

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

This book constitutes the refereed proceedings of the 7th International Conference on Rewriting Techniques and Applications, RTA-96, held in New Brunswick, NJ, USA, in July 1996.The 27 revised full papers presented in this volume were selected from a total of 84 submissions, also included are six system descriptions and abstracts of three invited papers. The topics covered include analysis of term rewriting systems, string and graph rewriting, rewrite-based theorem proving, conditional term rewriting, higher-order rewriting, unification, symbolic and algebraic computation, and efficient implementation of rewriting on sequential and parallel machines.

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

Contented Pregnancy

Charlotte Chaliha
25.80 € 50.46 лв

Choice in Language

Gerard O´Grady
45.69 € 89.37 лв

River Marked

Patricia Briggs
8.16 € 15.96 лв

Local Acts

Jan Cohen Cruz
41.94 € 82.02 лв

The Adventures of Mimi the Artist

Lynn Melchiori
6.06 € 11.85 лв

U.S. Army Special Operations in World War II

Center of Military History United States
12.62 € 24.69 лв

CEO Guide to Doing Business in South Africa

Ade Asefeso MCIPS MBA
12.67 € 24.79 лв

Where The Darkness Hides: Book 1 of Darkness

Aaron Avari
12.22 € 23.90 лв

Death's Sting-Where Art Thou?: A Heroic Anthology of Immortal Protagonists

Alfred D. Byrd
14.38 € 28.12 лв

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

SYNONYMES ET NUANCES

Dominique Le Fur
16.78 € 32.82 лв

Burokommunikation Von Der Planung Bis Zur Erfolgskontrolle

Egbert Reichel
53.11 € 103.87 лв

L'Ami de Cour, Comedie En Cinq Actes Et En Vers

Ancien Militaire
15.03 € 29.39 лв

Gestión del área de trabajo en el gabinete bucodental

25.75 € 50.36 лв