Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Logic Program Synthesis and Transformation - Meta-Programming in Logic Laurent Fribourg
Libristo kod: 05274447
Nakladnici Springer, Berlin, studeni 1999
This volume constitutes the combined proceedings of the 4th International Workshops on Logic Program... Cijeli opis
? points 125 b
51.73 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Le lendemain Vaillant / Knjiga Tvrdi uvez
common.buy 24.09 €
Edgar Allan Poe. Cinque passi nell'incubo Corrado Roi / Knjiga Tvrdi uvez
common.buy 30.27 €
L'Homme au passe-montagne Guyotat / Knjiga Meki uvez
common.buy 21.96 €
Sadistova bible Nicole Cushing / Knjiga Meki uvez
common.buy 9.41 €
Kopfschmerztagebuch Sebastian Lange / Knjiga Meki uvez
common.buy 5.66 €
Suomen mestari 2. Suomen kielen oppikirja aikuisille. Учебник Соня Геринг / Knjiga Meki uvez
common.buy 50.72 €
Enganchados en la droga SANCHEZ / Knjiga Meki uvez
common.buy 3.74 €
Santé - L'EDD par étude de cas 6 CDRom - Licence Bibliothèque+prêt Project / Digital Digital CD
common.buy 97.30 €
Memoires de mode Knjiga Meki uvez
common.buy 10.42 €
Histoire 2nde - Livre Élève - Ed. 2019 / Knjiga Tvrdi uvez
common.buy 45.05 €
El selfie del mundo MARCO D'ERAMO / Audio Audio CD
common.buy 29.86 €
La Biblia, lee y aprende Sophie Piper / Knjiga Meki uvez
common.buy 24.60 €
Terrorismo y proceso penal acusatorio Juan-Luis Gómez Colomer / Knjiga Meki uvez
common.buy 59.13 €
Explora 1 zeszyt ćwiczeń Karolina Hadło / Knjiga Meki uvez
common.buy 9.71 €
Hombre luna Tomi Ungerer / Knjiga Meki uvez
common.buy 16.29 €
Modelo de Gestion Balanced Scorecard para mejorar la calidad de servicio de atencion al cliente Christian Martel / Knjiga Meki uvez
common.buy 42.82 €
Soundwürfel Bauernhof / Igra/Igračka Igračka
common.buy 13.46 €
Bewußtheit durch Bewegung Moshé Feldenkrais / Knjiga Meki uvez
common.buy 10.93 €
Programa de capacitaciones al personal de ventas Yadira Betzabeth Baja?a Briones / Knjiga Meki uvez
common.buy 49.00 €
'Horace' - Wie Corneille anhand der Figur der Camille in einem Richelieu gewidmeten Theaterstuck Staatskritik uben konnte Katharina Krings / Knjiga Meki uvez
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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Logic Program Synthesis and Transformation - Meta-Programming in Logic
Autor Laurent Fribourg, Franco Turini
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2000
Broj stranica 458
EAN 9783540587927
ISBN 3540587926
Libristo kod 05274447
Nakladnici Springer, Berlin
Težina 602
Dimenzije 156 x 234 x 23

Kategorija

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
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Kawasaki Vulcan 700 (1985), Vulcan 750 (85-06), Vulcan 800 (95-05), Vulcan 800 Classic (96-02) & Vulcan 600 Drifter (99-06) Haynes Publishing / Knjiga Meki uvez
common.buy 39.08 €
Ecology of Neotropical Savannas Guillermo Sarmiento / Knjiga Tvrdi uvez
common.buy 47.99 €
Lipid Oxidation Amy S. Logan / Knjiga Meki uvez
common.buy 247.88 €
A LETTER TO THE EDITOR OF THE EDINBURGH EDWARD HERRIES / Knjiga Tvrdi uvez
common.buy 29.76 €
Naked Truth J R Farrell / Knjiga Meki uvez
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 / Knjiga Meki uvez
common.buy 42.72 €
Fire in her eyes. Miss H a B / Knjiga Meki uvez
common.buy 6.77 €
Bulgarian Picture Book: Bulgarian Pictorial Dictionary (Color and Learn) Wai Cheung / Knjiga Meki uvez
common.buy 7.69 €
Walk London Gill Knappett / Knjiga Meki uvez
common.buy 9.20 €
Man-Eater Ryan Green / Knjiga Meki uvez
common.buy 12.14 €
Arise and Go Now: A Short Story James Mulhern / Knjiga Meki uvez
common.buy 6.17 €
Piquet And Rubicon Piquet (1891) Berkeley / Knjiga Meki uvez
common.buy 20.34 €
JOSEF HOFFMANN 1870-1956: Progress Through Beauty Matthias Boeckl / Knjiga Tvrdi uvez
common.buy 65.10 €
Last Human Lee Bacon / Knjiga Meki uvez
common.buy 11.53 €
KRONOS per ottavino, trombone e pianoforte ENRICO RENNA / Knjiga Meki uvez
common.buy 10.82 €
Top
The Art of Tactics Ogre: Let Us Cling Together Square Enix / Knjiga Tvrdi uvez
common.buy 28.04 €
The Atrium Solitaire Parke / Knjiga Meki uvez
common.buy 17.61 €
Selected Writings of Cesar Vallejo Cesar Vallejo / Knjiga Tvrdi uvez
common.buy 35.94 €
Top
Paris Review Interviews: Vol. 1 Philip Gourevitch / Knjiga Meki uvez
common.buy 16.09 €
Top
Knowledge of the Higher Worlds Rudolf Steiner / Knjiga Meki uvez
common.buy 13.46 €
Journey Back Houston A. Baker / Knjiga Meki uvez
common.buy 34.22 €
Vitae Parallelae, Vol. III, F CB Plutarchus / Knjiga Knjiga
common.buy 124.24 €
Not on This Board You Don't Arthur C. Frantzreb / Knjiga Tvrdi uvez
common.buy 35.53 €
Numerical Analysis Richard L Burden / Knjiga Tvrdi uvez
common.buy 129.20 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?