Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Logic Program Synthesis and Transformation - Meta-Programming in Logic

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

Limba englezăengleză
Carte Carte broșată
Carte Logic Program Synthesis and Transformation - Meta-Programming in Logic Laurent Fribourg
Codul Libristo: 05274447
Editura Springer, Berlin, noiembrie 1999
This volume constitutes the combined proceedings of the 4th International Workshops on Logic Program... Descrierea completă
? points 132 b
285.53 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Le lendemain Vaillant / Carte Copertă tare
common.buy 132.19 lei
Edgar Allan Poe. Cinque passi nell'incubo Corrado Roi / Carte Copertă tare
common.buy 167.17 lei
L'Homme au passe-montagne Guyotat / Carte Carte broșată
common.buy 120.74 lei
Sadistova bible Nicole Cushing / Carte Carte broșată
common.buy 52.04 lei
Kopfschmerztagebuch Sebastian Lange / Carte Carte broșată
common.buy 31.43 lei
Suomen mestari 2. Suomen kielen oppikirja aikuisille. Учебник Соня Геринг / Carte Carte broșată
common.buy 281.78 lei
Enganchados en la droga SANCHEZ / Carte Carte broșată
common.buy 20.60 lei
Santé - L'EDD par étude de cas 6 CDRom - Licence Bibliothèque+prêt Project / Digital CD digital
common.buy 533.70 lei
Memoires de mode Carte Carte broșată
common.buy 57.03 lei
Histoire 2nde - Livre Élève - Ed. 2019 / Carte Copertă tare
common.buy 247.53 lei
El selfie del mundo MARCO D'ERAMO / Audio Audio CD
common.buy 165.19 lei
La Biblia, lee y aprende Sophie Piper / Carte Carte broșată
common.buy 136.15 lei
Terrorismo y proceso penal acusatorio Juan-Luis Gómez Colomer / Carte Carte broșată
common.buy 323.63 lei
Explora 1 zeszyt ćwiczeń Karolina Hadło / Carte Carte broșată
common.buy 53.29 lei
Hombre luna Tomi Ungerer / Carte Carte broșată
common.buy 89.93 lei
Modelo de Gestion Balanced Scorecard para mejorar la calidad de servicio de atencion al cliente Christian Martel / Carte Carte broșată
common.buy 237.54 lei
Soundwürfel Bauernhof / Joc / Jucărie Jucărie
common.buy 74.73 lei
Bewußtheit durch Bewegung Moshé Feldenkrais / Carte Carte broșată
common.buy 60.68 lei
Programa de capacitaciones al personal de ventas Yadira Betzabeth Baja?a Briones / Carte Carte broșată
common.buy 271.79 lei
'Horace' - Wie Corneille anhand der Figur der Camille in einem Richelieu gewidmeten Theaterstuck Staatskritik uben konnte Katharina Krings / Carte Carte broșată
common.buy 89.72 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Logic Program Synthesis and Transformation - Meta-Programming in Logic
Autor Laurent Fribourg, Franco Turini
Limba engleză
Legare Carte - Carte broșată
Data publicării 2000
Număr pagini 458
EAN 9783540587927
ISBN 3540587926
Codul Libristo 05274447
Editura Springer, Berlin
Greutatea 602
Dimensiuni 156 x 234 x 23

Categorii

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
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Kawasaki Vulcan 700 (1985), Vulcan 750 (85-06), Vulcan 800 (95-05), Vulcan 800 Classic (96-02) & Vulcan 600 Drifter (99-06) Haynes Publishing / Carte Carte broșată
common.buy 216.30 lei
Ecology of Neotropical Savannas Guillermo Sarmiento / Carte Copertă tare
common.buy 264.50 lei
Lipid Oxidation Amy S. Logan / Carte Carte broșată
common.buy 1 298.91 lei
A LETTER TO THE EDITOR OF THE EDINBURGH EDWARD HERRIES / Carte Copertă tare
common.buy 163.63 lei
Naked Truth J R Farrell / Carte Carte broșată
common.buy 126.36 lei
Learn With Universal Mind (Chinese 2): Communicate From The Inside Out, with Full Access to Online Interactive Lessons Helen Xinui Zhu / Carte Carte broșată
common.buy 235.66 lei
Fire in her eyes. Miss H a B / Carte Carte broșată
common.buy 37.26 lei
Bulgarian Picture Book: Bulgarian Pictorial Dictionary (Color and Learn) Wai Cheung / Carte Carte broșată
common.buy 42.25 lei
Walk London Gill Knappett / Carte Carte broșată
common.buy 45.69 lei
Man-Eater Ryan Green / Carte Carte broșată
common.buy 66.92 lei
Arise and Go Now: A Short Story James Mulhern / Carte Carte broșată
common.buy 34.24 lei
Piquet And Rubicon Piquet (1891) Berkeley / Carte Carte broșată
common.buy 111.58 lei
JOSEF HOFFMANN 1870-1956: Progress Through Beauty Matthias Boeckl / Carte Copertă tare
common.buy 360.06 lei
Last Human Lee Bacon / Carte Carte broșată
common.buy 55.27 lei
KRONOS per ottavino, trombone e pianoforte ENRICO RENNA / Carte Carte broșată
common.buy 59.64 lei
The Art of Tactics Ogre: Let Us Cling Together Square Enix / Carte Copertă tare
common.buy 157.18 lei
The Atrium Solitaire Parke / Carte Carte broșată
common.buy 96.70 lei
Selected Writings of Cesar Vallejo Cesar Vallejo / Carte Copertă tare
common.buy 196.42 lei
Paris Review Interviews: Vol. 1 Philip Gourevitch / Carte Carte broșată
common.buy 89.72 lei
Top
Knowledge of the Higher Worlds Rudolf Steiner / Carte Carte broșată
common.buy 74.52 lei
Journey Back Houston A. Baker / Carte Carte broșată
common.buy 187.05 lei
Vitae Parallelae, Vol. III, F CB Plutarchus / Carte Carte
common.buy 685.26 lei
Not on This Board You Don't Arthur C. Frantzreb / Carte Copertă tare
common.buy 196.42 lei
Numerical Analysis Richard L Burden / Carte Copertă tare
common.buy 708.89 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?