Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 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 €
phone Контакт phoneКак се пазарува?
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Term Rewriting and All That

Език Английски езикАнглийски език
Книга С меки корици
Книга Term Rewriting and All That Franz Baader
Код Либристо: 04095304
Издателство Cambridge University Press, август 1999
This textbook offers a unified and self-contained introduction to the field of term rewriting. It co... Цялото описание
? points 186 b
76.74 €
150.09  лв
Външен склад Изпращаме след 14-21 дни

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

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

Sebastián Durón (1660-1716). "Oigan qué dice el alma" JOSA / Книга С меки корици
common.buy 33.31 € 65.14 лв
Lucky Luke - Lucky Luke gegen Joss Jamon Morris / Книга С твърди корици
common.buy 13.53 € 26.45 лв
Le printemps de Pluton et autres nouvelle Punch / Книга С меки корици
common.buy 17.24 € 33.73 лв
EL CLUB DUMAS ARTURO PEREZ-REVERTE / Книга Книга
common.buy 37.59 € 73.53 лв
L'atelier + A1 (édition 2022) - Livre + didierfle.app Marie-Noëlle Cocton / Книга С меки корици
common.buy 18.59 € 36.35 лв
Asset Management Evelyn Kiepas / Книга С меки корици
common.buy 54.69 € 106.96 лв
Policajná chobotnica Peter Šloser / Книга С твърди корици
common.buy 16.42 € 32.11 лв
Tutti and the Terrible Yellow Leaves (Ukrainian Edition) Anastasia Goldak / Книга С твърди корици
common.buy 22.20 € 43.43 лв
Top
FLE (Français langue étrangère). Le français en vrai ! Pour communiquer au quotidien [B1-C1] (avec fichiers audio) M. Antoine Boissier / Книга С меки корици
common.buy 17.61 € 34.43 лв
Inversion en el crecimiento de dividendos Joey Thompson / Книга С меки корици
common.buy 12.29 € 24.03 лв
El placebo eres tú JOE DISPENZA / Книга С меки корици
common.buy 10.74 € 21.00 лв
Anibal y Melquiades Francisco Hinojosa / Книга С меки корици
common.buy 7.17 € 14.03 лв
Les lumieres de ma vie Fabienne Couturier-Blin / Книга С меки корици
common.buy 9.65 € 18.88 лв
Albrecht Durer Norbert Wolf / Книга С меки корици
common.buy 12.65 € 24.74 лв
PUNCH NEEDLE. BORDADO EN RELIEVE LAETITIA DALBIES / Книга С меки корици
common.buy 26.33 € 51.51 лв
Mathematik-Formeln kompakt fur BWL-Bachelor Bernd Luderer / Книга С меки корици
common.buy 21.17 € 41.40 лв

This textbook offers a unified and self-contained introduction to the field of term rewriting. It covers all the basic material (abstract reduction systems, termination, confluence, completion, and combination problems), but also some important and closely connected subjects: universal algebra, unification theory, Gröbner bases and Buchberger's algorithm. The main algorithms are presented both informally and as programs in the functional language Standard ML (an appendix contains a quick and easy introduction to ML). Certain crucial algorithms like unification and congruence closure are covered in more depth and Pascal programs are developed. The book contains many examples and over 170 exercises. This text is also an ideal reference book for professional researchers: results that have been spread over many conference and journal articles are collected together in a unified notation, proofs of almost all theorems are provided, and each chapter closes with a guide to the literature.

Героиня & Полиглот
EWA KASP за
Пусни видеото
Ewa Kasp
В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

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

Пълно заглавие Term Rewriting and All That
Автор Franz Baader
Език Английски език
Корици Книга - С меки корици
Дата на издаване 1999
Брой страници 316
Баркод 9780521779203
ISBN 0521779200
Код Либристо 04095304
Издателство Cambridge University Press
Тегло 548
Размери 170 x 244 x 18

Категории

Reference, Information & Interdisciplinary subjects > Encyclopaedias & reference works > Reference works
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Information technology: general issues
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Може би ще Ви заинтересува

The Life Of Ven. Gabriel Of Our Lady Of Sorrows, Gabriel Possenti, Of The Congregation Of The Passion (1899) Hyacinth Hage / Книга С меки корици
common.buy 30.67 € 59.99 лв
MCAT Flashcards: 1000 Cards to Prepare You for the MCAT Kaplan Test Prep / Печатни материали Карти
common.buy 37.75 € 73.83 лв
Ninth Book of Herodotus, Translated by F. Balfour Francis LL D Balfour / Книга С меки корици
common.buy 14.09 € 27.57 лв
Lassie Come-Home Eric Knight / Книга С меки корици
common.buy 12.24 € 23.93 лв
Private Mail: Letters from the Beach Paul Lefebvre / Книга С меки корици
common.buy 20.24 € 39.59 лв
Frank Merriwell's Trip West Burt L. Standish / Книга С меки корици
common.buy 18.38 € 35.95 лв
Pure Logistics George C. Thorpe / Книга С меки корици
common.buy 34.44 € 67.37 лв
Concepts and Applied Principles of Bioinorganic Chemistry: Volume III Warren Gibbs / Книга С твърди корици
common.buy 129.16 € 252.62 лв
Cambridge IGCSE (TM) Physical Education Student's Book Leon Fraser / Книга С меки корици
common.buy 44.88 € 87.77 лв
Map Functions Ewa Krzywicka-Blum / Книга С твърди корици
common.buy 173.27 € 338.89 лв
Prayer Guide Augustina Aghanwa-Fakiyesi / Книга С меки корици
common.buy 16.32 € 31.91 лв
HBR's 10 Must Reads on Managing Yourself (with bonus article "How Will You Measure Your Life?" by Clayton M. Christensen) Harvard Business Review / Книга С твърди корици
common.buy 37.75 € 73.83 лв
Das letzte Bild Felix Hoffmann / Книга С твърди корици
common.buy 58.46 € 114.34 лв
Tao Te Ching Lao Tzu / Книга С меки корици
common.buy 14.25 € 27.87 лв
Top
Left-Handed Calligraphy Vance Studley / Книга С меки корици
common.buy 7.07 € 13.83 лв
Top
Through the Moon Xanthe Bouma / Книга С меки корици
common.buy 12.08 € 23.63 лв
Construction Site Mission Ag Ford / Книга С твърди корици
common.buy 15.02 € 29.38 лв
Half-Sized Cake: A Funny Story About Fractions S. E. Burr / Книга С меки корици
common.buy 11.15 € 21.81 лв
SAFe 5.0 Distilled Richard Knaster / Книга С меки корици
common.buy 39.19 € 76.66 лв
Young ELI Readers - English Jane cadwallader / Книга С меки корици
common.buy 17.40 € 34.03 лв
Young Mungo Douglas Stuart / Книга С твърди корици
common.buy 19.26 € 37.67 лв
Edexcel GCSE 9-1 Business Workbook: Ideal for Home Learning, 2024 and 2025 Exams Collins GCSE / Книга С меки корици
common.buy 9.29 € 18.17 лв
Dior by Dior Antonia Fraser / Книга С твърди корици
common.buy 26.44 € 51.71 лв
Sweet Pea School Christine Chitnis / Книга С твърди корици
common.buy 21.27 € 41.61 лв

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo
Книжен съветник Libroamiko
Здравейте, аз съм Libroamiko, мога ли да помогна?