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 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,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.56 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Le lendemain Vaillant / Boek Gebonden (harde band)
common.buy 25.02 €
Santé - L'EDD par étude de cas 6 CDRom - Licence Bibliothèque+prêt Project / Digitaal Digitaal cd
common.buy 101.52 €
Edgar Allan Poe. Cinque passi nell'incubo Corrado Roi / Boek Gebonden (harde band)
common.buy 31.78 €
Enganchados en la droga SANCHEZ / Boek Gebonden (paperback)
common.buy 3.93 €
Kopfschmerztagebuch Sebastian Lange / Boek Gebonden (paperback)
common.buy 5.64 €
L'Homme au passe-montagne Guyotat / Boek Gebonden (paperback)
common.buy 22.90 €
Sadistova bible Nicole Cushing / Boek Gebonden (paperback)
common.buy 9.88 €
Suomen mestari 2. Suomen kielen oppikirja aikuisille. Учебник Соня Геринг / Boek Gebonden (paperback)
common.buy 53.68 €
Guida ai palazzi di Siena. Viaggio romantico tra gli edifici storici della città Meltea Keller / Boek Gebonden (paperback)
common.buy 17.15 €
Memoires de mode Boek Gebonden (paperback)
common.buy 10.79 €
Histoire 2nde - Livre Élève - Ed. 2019 / Boek Gebonden (harde band)
common.buy 47.02 €
El selfie del mundo MARCO D'ERAMO / Audio Audio cd
common.buy 29.76 €
Explora 1 zeszyt ćwiczeń Karolina Hadło / Boek Gebonden (paperback)
common.buy 9.88 €
Programa de capacitaciones al personal de ventas Yadira Betzabeth Baja?a Briones / Boek Gebonden (paperback)
common.buy 48.84 €
Hombre luna Tomi Ungerer / Boek Gebonden (paperback)
common.buy 17.15 €
Terrorismo y proceso penal acusatorio Juan-Luis Gómez Colomer / Boek Gebonden (paperback)
common.buy 61.56 €
La Biblia, lee y aprende Sophie Piper / Boek Gebonden (paperback)
common.buy 24.52 €
'Horace' - Wie Corneille anhand der Figur der Camille in einem Richelieu gewidmeten Theaterstuck Staatskritik uben konnte Katharina Krings / Boek Gebonden (paperback)
common.buy 16.14 €
Bewußtheit durch Bewegung Moshé Feldenkrais / Boek Gebonden (paperback)
common.buy 10.89 €
Soundwürfel Bauernhof / Spel/speelgoed Speelgoed
common.buy 13.41 €
Modelo de Gestion Balanced Scorecard para mejorar la calidad de servicio de atencion al cliente Christian Martel / Boek Gebonden (paperback)
common.buy 42.68 €

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

Modeling the Psychopathological Dimensions of Schizophrenia Mikhail Pletnikov / Boek Gebonden (harde band)
common.buy 130.79 €
Endless War: the Russian-Chechen Conflict in Perspective Emil Souleimanov / Boek Gebonden (paperback)
common.buy 74.17 €
Ecology of Neotropical Savannas Guillermo Sarmiento / Boek Gebonden (harde band)
common.buy 47.83 €
Lipid Oxidation Amy S. Logan / Boek Gebonden (paperback)
common.buy 258.26 €
The Art of Tactics Ogre: Let Us Cling Together Square Enix / Boek Gebonden (harde band)
common.buy 29.86 €
A LETTER TO THE EDITOR OF THE EDINBURGH EDWARD HERRIES / Boek Gebonden (harde band)
common.buy 29.66 €
Naked Truth J R Farrell / Boek Gebonden (paperback)
common.buy 22.90 €
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.58 €
Biotechnology for Fuels and Chemicals Mark Finkelstein / Boek Gebonden (paperback)
common.buy 154.01 €
Fire in her eyes. Miss H a B / Boek Gebonden (paperback)
common.buy 6.75 €
Bulgarian Picture Book: Bulgarian Pictorial Dictionary (Color and Learn) Wai Cheung / Boek Gebonden (paperback)
common.buy 7.66 €
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 40.76 €
Man-Eater Ryan Green / Boek Gebonden (paperback)
common.buy 12.10 €
Arise and Go Now: A Short Story James Mulhern / Boek Gebonden (paperback)
common.buy 6.15 €
Piquet And Rubicon Piquet (1891) Berkeley / Boek Gebonden (paperback)
common.buy 20.28 €
KRONOS per ottavino, trombone e pianoforte ENRICO RENNA / Boek Gebonden (paperback)
common.buy 10.79 €
JOSEF HOFFMANN 1870-1956: Progress Through Beauty Matthias Boeckl / Boek Gebonden (harde band)
common.buy 64.89 €
Last Human Lee Bacon / Boek Gebonden (paperback)
common.buy 9.88 €
Origins of Stars and Planets: The VLT View Joao F. Alves / Boek Gebonden (paperback)
common.buy 102.73 €
Vitae Parallelae, Vol. III, F CB Plutarchus / Boek Boek
common.buy 123.83 €
Not on This Board You Don't Arthur C. Frantzreb / Boek Gebonden (harde band)
common.buy 35.42 €
Numerical Analysis Richard L Burden / Boek Gebonden (harde band)
common.buy 128.77 €
Journey Back Houston A. Baker / Boek Gebonden (paperback)
common.buy 35.62 €
Knowledge of the Higher Worlds Rudolf Steiner / Boek Gebonden (paperback)
common.buy 13.41 €

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?