Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Logic Program Synthesis and Transformation - Meta-Programming in Logic

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Logic Program Synthesis and Transformation - Meta-Programming in Logic Laurent Fribourg
Libristo-code: 05274447
Uitgeverij Springer, Berlin, november 1999
This volume constitutes the combined proceedings of the 4th International Workshops on Logic Program... Volledige beschrijving
? points 125 b
51.73 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Le lendemain Vaillant / Boek Gebonden (harde band)
common.buy 25.10 €
Edgar Allan Poe. Cinque passi nell'incubo Corrado Roi / Boek Gebonden (harde band)
common.buy 31.89 €
L'Homme au passe-montagne Guyotat / Boek Gebonden (paperback)
common.buy 22.98 €
Sadistova bible Nicole Cushing / Boek Gebonden (paperback)
common.buy 9.91 €
Kopfschmerztagebuch Sebastian Lange / Boek Gebonden (paperback)
common.buy 5.66 €
Suomen mestari 2. Suomen kielen oppikirja aikuisille. Учебник Соня Геринг / Boek Gebonden (paperback)
common.buy 56.80 €
Enganchados en la droga SANCHEZ / Boek Gebonden (paperback)
common.buy 3.94 €
Santé - L'EDD par étude de cas 6 CDRom - Licence Bibliothèque+prêt Project / Digitaal Digitaal cd
common.buy 101.76 €
Memoires de mode Boek Gebonden (paperback)
common.buy 10.82 €
Histoire 2nde - Livre Élève - Ed. 2019 / Boek Gebonden (harde band)
common.buy 47.18 €
El selfie del mundo MARCO D'ERAMO / Audio Audio cd
common.buy 29.86 €
La Biblia, lee y aprende Sophie Piper / Boek Gebonden (paperback)
common.buy 26.01 €
Terrorismo y proceso penal acusatorio Juan-Luis Gómez Colomer / Boek Gebonden (paperback)
common.buy 61.76 €
Explora 1 zeszyt ćwiczeń Karolina Hadło / Boek Gebonden (paperback)
common.buy 10.01 €
Hombre luna Tomi Ungerer / Boek Gebonden (paperback)
common.buy 17.20 €
Modelo de Gestion Balanced Scorecard para mejorar la calidad de servicio de atencion al cliente Christian Martel / Boek Gebonden (paperback)
common.buy 42.82 €
Soundwürfel Bauernhof / Spel/speelgoed Speelgoed
common.buy 13.46 €
Bewußtheit durch Bewegung Moshé Feldenkrais / Boek Gebonden (paperback)
common.buy 10.93 €
Programa de capacitaciones al personal de ventas Yadira Betzabeth Baja?a Briones / Boek Gebonden (paperback)
common.buy 49.00 €
'Horace' - Wie Corneille anhand der Figur der Camille in einem Richelieu gewidmeten Theaterstuck Staatskritik uben konnte Katharina Krings / Boek Gebonden (paperback)
common.buy 16.19 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Logic Program Synthesis and Transformation - Meta-Programming in Logic
Auteur Laurent Fribourg, Franco Turini
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2000
Aantal pagina's 458
EAN 9783540587927
ISBN 3540587926
Libristo-code 05274447
Uitgeverij Springer, Berlin
Gewicht 602
Afmetingen 156 x 234 x 23

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Object-georiënteerd programmeren (OOP)
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI)
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Kawasaki Vulcan 700 (1985), Vulcan 750 (85-06), Vulcan 800 (95-05), Vulcan 800 Classic (96-02) & Vulcan 600 Drifter (99-06) Haynes Publishing / Boek Gebonden (paperback)
common.buy 41.30 €
Ecology of Neotropical Savannas Guillermo Sarmiento / Boek Gebonden (harde band)
common.buy 47.99 €
Lipid Oxidation Amy S. Logan / Boek Gebonden (paperback)
common.buy 259.12 €
A LETTER TO THE EDITOR OF THE EDINBURGH EDWARD HERRIES / Boek Gebonden (harde band)
common.buy 29.76 €
Naked Truth J R Farrell / Boek Gebonden (paperback)
common.buy 22.98 €
Learn With Universal Mind (Chinese 2): Communicate From The Inside Out, with Full Access to Online Interactive Lessons Helen Xinui Zhu / Boek Gebonden (paperback)
common.buy 42.72 €
Fire in her eyes. Miss H a B / Boek Gebonden (paperback)
common.buy 6.77 €
Bulgarian Picture Book: Bulgarian Pictorial Dictionary (Color and Learn) Wai Cheung / Boek Gebonden (paperback)
common.buy 7.69 €
Walk London Gill Knappett / Boek Gebonden (paperback)
common.buy 9.20 €
Man-Eater Ryan Green / Boek Gebonden (paperback)
common.buy 12.14 €
Arise and Go Now: A Short Story James Mulhern / Boek Gebonden (paperback)
common.buy 6.17 €
Piquet And Rubicon Piquet (1891) Berkeley / Boek Gebonden (paperback)
common.buy 20.34 €
JOSEF HOFFMANN 1870-1956: Progress Through Beauty Matthias Boeckl / Boek Gebonden (harde band)
common.buy 65.10 €
Last Human Lee Bacon / Boek Gebonden (paperback)
common.buy 11.53 €
KRONOS per ottavino, trombone e pianoforte ENRICO RENNA / Boek Gebonden (paperback)
common.buy 10.82 €
TOP
The Art of Tactics Ogre: Let Us Cling Together Square Enix / Boek Gebonden (harde band)
common.buy 31.89 €
The Atrium Solitaire Parke / Boek Gebonden (paperback)
common.buy 17.61 €
Selected Writings of Cesar Vallejo Cesar Vallejo / Boek Gebonden (harde band)
common.buy 35.94 €
TOP
Paris Review Interviews: Vol. 1 Philip Gourevitch / Boek Gebonden (paperback)
common.buy 17.10 €
TOP
Knowledge of the Higher Worlds Rudolf Steiner / Boek Gebonden (paperback)
common.buy 14.27 €
Journey Back Houston A. Baker / Boek Gebonden (paperback)
common.buy 37.15 €
Vitae Parallelae, Vol. III, F CB Plutarchus / Boek Boek
common.buy 124.24 €
Not on This Board You Don't Arthur C. Frantzreb / Boek Gebonden (harde band)
common.buy 35.53 €
Numerical Analysis Richard L Burden / Boek Gebonden (harde band)
common.buy 135.28 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?