Проверка на състоянието на поръчката
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€

Conditional Term Rewriting Systems

Third International CRTS Workshop, Pont-a-Mousson, France, July 8-10, 1992. Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Conditional Term Rewriting Systems Michael Rusinowitch
Код Либристо: 02092611
Издателство Springer, Berlin, ноември 1992
This volume contains the papers preesented at the Third International Workshop on Conditional Term R... Цялото описание
? points 132 b
54.41 €
106.41  лв
Външен склад Изпращаме след 5-8 дни

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

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

Last and First Men Olaf Stapledon / Книга С меки корици
common.buy 9.30 € 18.20 лв
Pakiet Saga rodziny Neshov. Tom 1-3 Anne B. Ragde / Книга С меки корици
common.buy 19.18 € 37.52 лв
Eichendorff und die Frauen Frauke Itzerott / Книга С меки корици
common.buy 9.67 € 18.91 лв
Access - Allgemeine Ausgabe 2014 - Band 4: 8. Schuljahr Jörg Rademacher / Аудио Аудио компактдиск
common.buy 43.70 € 85.47 лв
Alemannien Und Der Norden Hans-Peter Naumann / Книга С твърди корици
common.buy 167.16 € 326.93 лв

This volume contains the papers preesented at the Third International Workshop on Conditional Term Rewriting Systems, held in Pont- -Mousson, France, July 8-10, 1992. Topics covered include conditional rewriting and its applications to programming languages, specification languages, automated deduction, constrained rewriting, typed rewriting, higher-order rewriting, and graph rewriting. The volume contains 40 papers, including four invited talks: Algebraic semantics of rewriting terms and types, by K.Meinke; Generic induction proofs, by P. Padawitz; Conditional term rewriting and first-order theorem proving, by D. Plaisted; and Decidability of finiteness properties (abstract), by L. Pacholski. The first CTRS workshop was held at the University of Parisin 1987 and the second at Concordia University, Montreal, in1990. Their proceddings are published as Lecture Notes in Computer Science Volumes 308 and 516 respectively.

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

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

Пълно заглавие Conditional Term Rewriting Systems
Автор Michael Rusinowitch, Jean-Luc Remy
Език Английски език
Корици Книга - С меки корици
Дата на издаване 1993
Брой страници 507
Баркод 9783540563938
ISBN 3540563938
Код Либристо 02092611
Издателство Springer, Berlin
Тегло 672
Размери 155 x 233 x 26

Категории

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

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

Real Turkish: Learn Conversational Turkish Through Dialogues Mehmet Sahin / Книга С меки корици
common.buy 6.20 € 12.13 лв
Top
Warriors: Dawn of the Clans #1: The Sun Trail Erin Hunter / Книга С меки корици
common.buy 6.10 € 11.93 лв
A History of Ancient Egypt John Romer / Книга С твърди корици
common.buy 34.13 € 66.75 лв
Top
Game of Thrones George R. R. Martin / Книга С твърди корици
common.buy 44.94 € 87.90 лв
CONTRIBUTIONS TO MIDWIFERY, AND DISEASES EMIL NOEGGERATH / Книга С твърди корици
common.buy 39.20 € 76.67 лв
Confessions of a Cartel Hit Man Martin Corona / Книга С твърди корици
common.buy 35.42 € 69.28 лв
A short History of Renaissance Architecture in England 1500-1800 Reginald Blomfield / Книга С меки корици
common.buy 45.25 € 88.50 лв
Vintage Menswear Douglas Gunn / Книга С твърди корици
common.buy 15.77 € 30.84 лв
Top
We Are Okay Nina Lacour / Книга С меки корици
common.buy 10.39 € 20.32 лв
Top
Neon Genesis Evangelion 3-in-1 Edition, Vol. 3 Yoshiyuki Sadamoto / Книга С меки корици
common.buy 19.44 € 38.03 лв
Rock Chick Kristen Ashley / Книга С меки корици
common.buy 22.96 € 44.90 лв
Business Plan Workbook Paul Barrow / Книга С меки корици
common.buy 44.32 € 86.68 лв
Shakespeare in Autumn (Seasons Edition -- Fall) William Shakespeare / Книга С твърди корици
common.buy 21.56 € 42.17 лв
Department of Truth, Volume 2: The City Upon a Hill James Tynion IV / Книга С меки корици
common.buy 13.60 € 26.59 лв
Penguin Modern Classics Book Henry Eliot / Книга С твърди корици
common.buy 29.58 € 57.85 лв
Over the Rainbow Karen D. Hayes / Книга С твърди корици
common.buy 28.70 € 56.13 лв
Top
Warriors Super Edition: Bluestar's Prophecy Erin Hunter / Книга С меки корици
common.buy 9.77 € 19.11 лв
British Eyewitness at the Battle of New Orleans Robert Aitchison / Книга С меки корици
common.buy 12.82 € 25.08 лв
Control and Protection of VSC-based Multi-terminal DC Networks Epameinondas Kontos / Книга С меки корици
common.buy 43.39 € 84.86 лв
Top
Botticelli Franz Zollner / Книга С твърди корици
common.buy 39.35 € 76.97 лв
Aldous Huxley Nicholas Murray / Книга С меки корици
common.buy 19.29 € 37.72 лв
Uncertain Chances Maurice S. Lee / Книга С меки корици
common.buy 40.23 € 78.69 лв
Isotopes in Palaeoenvironmental Research Melanie Leng / Книга С твърди корици
common.buy 108.56 € 212.32 лв
Wetlands in Central Florida Samantha L Elliot / Книга С меки корици
common.buy 410.15 € 802.18 лв

Вход

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

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

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

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

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