info@libristo.bg
LIBRISTO 0
Безплатна доставка със Speedy над 129 лв
Box Now 9 лв Speedy office 11 лв Speedy 13 лв ЕКОНТ 6 лв Еконтомат/Офис на Еконт 6 лв
phone Контакт phoneКак се пазарува?

Term Rewriting and Applications

Език Английски езикАнглийски език
Книга С меки корици
Книга Term Rewriting and Applications Frank Pfenning
Код Либристо: 01562413
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, юли 2006
This book constitutes the refereed proceedings of the 17th International Conference on Rewriting Tec... Цялото описание
? points 179 b
142 лв
Външен склад в ограничено количество Изпращаме след 12-17 дни

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

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

Peter Tschaikowsky Constantin Floros / С меки корици
common.buy 25 лв
The Master Key System Charles F. Haanel / С меки корици
common.buy 25 лв
Verfassungsrechtliche Grenzen rückwirkender Anwaltsgebührenerhöhungen. Hartmut Bauer / С меки корици
common.buy 86 лв
Renaissance Florence Roger J. CrumJohn T. Paoletti / С твърди корици
common.buy 461 лв
Ich rechne mit! - Berlin, Brandenburg, Mecklenburg-Vorpommern, Sachsen, Sachsen-Anhalt, Thüringen - 1. Schuljahr Klaus-Peter Käding / С меки корици
common.buy 28 лв
Hundert Jahre im Altkreis Geldern Paul van Treeck / С меки корици
common.buy 34 лв
Franz Sternbalds Wanderungen Ludwig Tieck / С меки корици
common.buy 29 лв
Jagdmethoden und Fanggeheimnisse Emil Regener / С меки корици
common.buy 184 лв
Aiming at Virtue in Plato Iakovos Vasiliou / С меки корици
common.buy 121 лв
Exotic Attractors Jorge Buescu / С меки корици
common.buy 142 лв
Gitterstrukturen des Erdmagnetfeldes Klaus Piontzik / С меки корици
common.buy 105 лв
Carfit. Englisch für Fahrzeugberufe, m. 1 Audio-CD / Лист
common.buy 51 лв
Tot und begraben Carola Clasen / С меки корици
common.buy 21 лв
Ausgabe H, Schwarz / С твърди корици
common.buy 56 лв
Die Lücke im Gesetz Ingo Lenßen / С меки корици
common.buy 32 лв

This book constitutes the refereed proceedings of the 17th International Conference on Rewriting Techniques and Applications, RTA 2006, held in Seattle, WA, USA in August 2006. The book presents 23 revised full papers and 4 systems description papers together with 2 invited talks and a plenary talk of the hosting FLoC conference. Topics include equational reasoning, system verification, lambda calculus, theorem proving, system descriptions, termination, higher-order rewriting and unification, and more.

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

Пълно заглавие Term Rewriting and Applications
Автор Frank Pfenning
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2006
Брой страници 418
Баркод 9783540368342
ISBN 3540368345
Код Либристо 01562413
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 1340
Размери 155 x 235 x 24

Категории

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Вход

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

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

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

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

Създаване на акаунт за Libristo