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

Logic Program Synthesis and Transformation - Meta-Programming in Logic

4th International Workshop, LOPSTR '94 and META '94, Pisa, Italy, June 20-21, 1994. Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Logic Program Synthesis and Transformation - Meta-Programming in Logic Laurent Fribourg
Код Либристо: 05274447
Издателство Springer, Berlin, ноември 1999
This volume constitutes the combined proceedings of the 4th International Workshops on Logic Program... Цялото описание
? points 132 b
54.34 €
106.28  лв
Външен склад Изпращаме след 5-8 дни

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

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

Le lendemain Vaillant / Книга С твърди корици
common.buy 26.18 € 51.21 лв
Edgar Allan Poe. Cinque passi nell'incubo Corrado Roi / Книга С твърди корици
common.buy 33.37 € 65.26 лв
L'Homme au passe-montagne Guyotat / Книга С меки корици
common.buy 23.91 € 46.77 лв
Sadistova bible Nicole Cushing / Книга С меки корици
common.buy 10.43 € 20.40 лв
Kopfschmerztagebuch Sebastian Lange / Книга С меки корици
common.buy 5.99 € 11.71 лв
Suomen mestari 2. Suomen kielen oppikirja aikuisille. Учебник Соня Геринг / Книга С меки корици
common.buy 56.71 € 110.92 лв
Enganchados en la droga SANCHEZ / Книга С меки корици
common.buy 4.13 € 8.07 лв
Santé - L'EDD par étude de cas 6 CDRom - Licence Bibliothèque+prêt Project / Digital Digital CD
common.buy 105.94 € 207.21 лв
Memoires de mode Книга С меки корици
common.buy 11.31 € 22.12 лв
Histoire 2nde - Livre Élève - Ed. 2019 / Книга С твърди корици
common.buy 49.07 € 95.97 лв
El selfie del mundo MARCO D'ERAMO / Аудио Аудио компактдиск
common.buy 31.45 € 61.52 лв
La Biblia, lee y aprende Sophie Piper / Книга С меки корици
common.buy 25.93 € 50.71 лв
Terrorismo y proceso penal acusatorio Juan-Luis Gómez Colomer / Книга С меки корици
common.buy 64.36 € 125.88 лв
Explora 1 zeszyt ćwiczeń Karolina Hadło / Книга С меки корици
common.buy 10.58 € 20.70 лв
Hombre luna Tomi Ungerer / Книга С меки корици
common.buy 18.02 € 35.25 лв
Modelo de Gestion Balanced Scorecard para mejorar la calidad de servicio de atencion al cliente Christian Martel / Книга С меки корици
common.buy 45.25 € 88.49 лв
Soundwürfel Bauernhof / Игра/играчка Играчка
common.buy 14.25 € 27.87 лв
Bewußtheit durch Bewegung Moshé Feldenkrais / Книга С меки корици
common.buy 11.57 € 22.62 лв
Programa de capacitaciones al personal de ventas Yadira Betzabeth Baja?a Briones / Книга С меки корици
common.buy 51.76 € 101.23 лв
'Horace' - Wie Corneille anhand der Figur der Camille in einem Richelieu gewidmeten Theaterstuck Staatskritik uben konnte Katharina Krings / Книга С меки корици
common.buy 17.09 € 33.43 лв

This volume constitutes the combined proceedings of the 4th International Workshops on Logic Program Synthesis and Transformation (LOPSTR '94) and on Meta-Programming (META '94), held jointly in Pisa, Italy in June 1994.This book includes thoroughly revised versions of the best papers presented at both workshops. The main topics addressed by the META papers are language extensions in support of meta-logic, semantics of meta-logic, implementation of meta-logic features, performance of meta-logic, and several applicational aspects. The LOPSTR papers are devoted to unfolding/folding, partial deduction, proofs as programs, inductive logic programming, automated program verification, specification and programming methodologies.

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

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

Пълно заглавие Logic Program Synthesis and Transformation - Meta-Programming in Logic
Автор Laurent Fribourg, Franco Turini
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2000
Брой страници 458
Баркод 9783540587927
ISBN 3540587926
Код Либристо 05274447
Издателство Springer, Berlin
Тегло 602
Размери 156 x 234 x 23

Категории

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

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

Kawasaki Vulcan 700 (1985), Vulcan 750 (85-06), Vulcan 800 (95-05), Vulcan 800 Classic (96-02) & Vulcan 600 Drifter (99-06) Haynes Publishing / Книга С меки корици
common.buy 43.54 € 85.16 лв
Ecology of Neotropical Savannas Guillermo Sarmiento / Книга С твърди корици
common.buy 50.36 € 98.50 лв
Lipid Oxidation Amy S. Logan / Книга С меки корици
common.buy 258.59 € 505.76 лв
A LETTER TO THE EDITOR OF THE EDINBURGH EDWARD HERRIES / Книга С твърди корици
common.buy 29.70 € 58.08 лв
Naked Truth J R Farrell / Книга С меки корици
common.buy 22.93 € 44.85 лв
Learn With Universal Mind (Chinese 2): Communicate From The Inside Out, with Full Access to Online Interactive Lessons Helen Xinui Zhu / Книга С меки корици
common.buy 42.66 € 83.44 лв
Fire in her eyes. Miss H a B / Книга С меки корици
common.buy 6.76 € 13.23 лв
Bulgarian Picture Book: Bulgarian Pictorial Dictionary (Color and Learn) Wai Cheung / Книга С меки корици
common.buy 7.64 € 14.94 лв
Walk London Gill Knappett / Книга С меки корици
common.buy 9.14 € 17.87 лв
Man-Eater Ryan Green / Книга С меки корици
common.buy 12.13 € 23.73 лв
Arise and Go Now: A Short Story James Mulhern / Книга С меки корици
common.buy 6.19 € 12.11 лв
Piquet And Rubicon Piquet (1891) Berkeley / Книга С меки корици
common.buy 20.24 € 39.59 лв
JOSEF HOFFMANN 1870-1956: Progress Through Beauty Matthias Boeckl / Книга С твърди корици
common.buy 68.54 € 134.06 лв
Last Human Lee Bacon / Книга С меки корици
common.buy 9.91 € 19.39 лв
KRONOS per ottavino, trombone e pianoforte ENRICO RENNA / Книга С меки корици
common.buy 10.84 € 21.21 лв
Top
The Art of Tactics Ogre: Let Us Cling Together Square Enix / Книга С твърди корици
common.buy 31.87 € 62.33 лв
The Atrium Solitaire Parke / Книга С меки корици
common.buy 17.56 € 34.34 лв
Selected Writings of Cesar Vallejo Cesar Vallejo / Книга С твърди корици
common.buy 37.39 € 73.14 лв
Paris Review Interviews: Vol. 1 Philip Gourevitch / Книга С меки корици
common.buy 17.09 € 33.43 лв
Top
Knowledge of the Higher Worlds Rudolf Steiner / Книга С меки корици
common.buy 14.20 € 27.77 лв
Подготвяме
Journey Back Houston A. Baker / Книга С меки корици
common.buy 36.26 € 70.92 лв
Vitae Parallelae, Vol. III, F CB Plutarchus / Книга Книга
common.buy 130.48 € 255.20 лв
Not on This Board You Don't Arthur C. Frantzreb / Книга С твърди корици
common.buy 37.39 € 73.14 лв
Numerical Analysis Richard L Burden / Книга С твърди корици
common.buy 131.51 € 257.22 лв

Вход

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

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

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

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

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