Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 11.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Logic Program Synthesis and Transformation - Meta-Programming in Logic

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

Język AngielskiAngielski
Książka Miękka
Książka Logic Program Synthesis and Transformation - Meta-Programming in Logic Laurent Fribourg
Kod Libristo: 05274447
Wydawnictwo Springer, Berlin, listopad 1999
This volume constitutes the combined proceedings of the 4th International Workshops on Logic Program... Cały opis
? points 125 b
222.98 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Le lendemain Vaillant / Książka Twarda
common.buy 106.99 zł
L'Homme au passe-montagne Guyotat / Książka Miękka
common.buy 97.58 zł
Weisse Dominikaner Gustav Meyrink / Książka Miękka
common.buy 50.47 zł
Sadistova bible Nicole Cushing / Książka Miękka
common.buy 39.23 zł
Kopfschmerztagebuch Sebastian Lange / Książka Miękka
common.buy 24.41 zł
Edgar Allan Poe. Cinque passi nell'incubo Corrado Roi / Książka Twarda
common.buy 129.67 zł
Riscoprire lo stile di vita originario. Una prospettiva nuova che recupera e valorizza le nostre radici, per ritrovare salute, equilibrio e felicità Ivana Arena / Książka Miękka
common.buy 75.82 zł
Šangaj baby Wei Hui / Książka Miękka
common.buy 21.35 zł
Lyme-Borreliose Klaus-Peter Hunfeld / E-book Adobe ePub DRM
common.buy 289.81 zł
Guida ai palazzi di Siena. Viaggio romantico tra gli edifici storici della città Meltea Keller / Książka Miękka
common.buy 69.58 zł
Suomen mestari 2. Suomen kielen oppikirja aikuisille. Учебник Соня Геринг / Książka Miękka
common.buy 232.07 zł
Enganchados en la droga SANCHEZ / Książka Miękka
common.buy 17.26 zł
Accidente de trabajo. La responsabilidad del empresario en los órdenes administrativo, penal, civil SICRE GILABERT / Książka Twarda
common.buy 165.75 zł
Alexander Groß Thomas Silvin / Książka Miękka
common.buy 38.72 zł
Santé - L'EDD par étude de cas 6 CDRom - Licence Bibliothèque+prêt Project / Digital Digital CD
common.buy 437.58 zł
Memoires de mode Książka Miękka
common.buy 45.26 zł
Histoire 2nde - Livre Élève - Ed. 2019 / Książka Twarda
common.buy 202.13 zł
El selfie del mundo MARCO D'ERAMO / Audio CD Audio
common.buy 128.75 zł
Explora 1 zeszyt ćwiczeń Karolina Hadło / Książka Miękka
common.buy 34.02 zł
La Biblia, lee y aprende Sophie Piper / Książka Miękka
common.buy 132.84 zł
Terrorismo y proceso penal acusatorio Juan-Luis Gómez Colomer / Książka Miękka
common.buy 266.72 zł
Modelo de Gestion Balanced Scorecard para mejorar la calidad de servicio de atencion al cliente Christian Martel / Książka Miękka
common.buy 184.76 zł
Soundwürfel Bauernhof / Gra/Zabawka Zabawka
common.buy 57.93 zł
Bewußtheit durch Bewegung Moshé Feldenkrais / Książka Miękka
common.buy 55.28 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Logic Program Synthesis and Transformation - Meta-Programming in Logic
Autor Laurent Fribourg, Franco Turini
Język Angielski
Oprawa Książka - Miękka
Data wydania 2000
Liczba stron 458
EAN 9783540587927
ISBN 3540587926
Kod Libristo 05274447
Wydawnictwo Springer, Berlin
Waga 602
Wymiary 156 x 234 x 23

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Programowanie obiektowe
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Repairing and Querying Databases under Aggregate Constraints Sergio Flesca / Książka Miękka
common.buy 174.43 zł
Operations Management: Sustainability and Supply Chain Management plus MyOMLab with Pearson eText, Global Edition Jay Heizer / Książka Twarda
common.buy 412.96 zł
A LETTER TO THE EDITOR OF THE EDINBURGH EDWARD HERRIES / Książka Twarda
common.buy 128.45 zł
Endless War: the Russian-Chechen Conflict in Perspective Emil Souleimanov / Książka Miękka
common.buy 287.05 zł
Ecology of Neotropical Savannas Guillermo Sarmiento / Książka Twarda
common.buy 206.52 zł
Perilous African Adventures of Sir Bert and Sir Gilbert Bert H Carlson / Książka Miękka
common.buy 89.72 zł
Lipid Oxidation Amy S. Logan / Książka Miękka
common.buy 1 020.19 zł
Air Rifle Hunting Through the Seasons Matthew Manning / Książka Twarda
common.buy 91.35 zł
Bucking the Trend Buck Autrey / Książka Twarda
common.buy 167.69 zł
Naked Truth J R Farrell / Książka Miękka
common.buy 81.34 zł
Learn With Universal Mind (Chinese 2): Communicate From The Inside Out, with Full Access to Online Interactive Lessons Helen Xinui Zhu / Książka Miękka
common.buy 184.45 zł
Fire in her eyes. Miss H a B / Książka Miękka
common.buy 29.22 zł
Bulgarian Picture Book: Bulgarian Pictorial Dictionary (Color and Learn) Wai Cheung / Książka Miękka
common.buy 33.00 zł
An Introduction to Flood Channel Rip Rap Protection J Paul Guyer / Książka Miękka
common.buy 118.43 zł
Kawasaki Vulcan 700 (1985), Vulcan 750 (85-06), Vulcan 800 (95-05), Vulcan 800 Classic (96-02) & Vulcan 600 Drifter (99-06) Haynes Publishing / Książka Miękka
common.buy 175.87 zł
Man-Eater Ryan Green / Książka Miękka
common.buy 52.42 zł
Arise and Go Now: A Short Story James Mulhern / Książka Miękka
common.buy 26.76 zł
Piquet And Rubicon Piquet (1891) Berkeley / Książka Miękka
common.buy 87.57 zł
JOSEF HOFFMANN 1870-1956: Progress Through Beauty Matthias Boeckl / Książka Twarda
common.buy 280.72 zł
Last Human Lee Bacon / Książka Miękka
common.buy 49.96 zł
KRONOS per ottavino, trombone e pianoforte ENRICO RENNA / Książka Miękka
common.buy 46.90 zł
How Not to Wear Black Anna Murphy / E-book Adobe ePub DRM
common.buy 37.80 zł
The Art of Tactics Ogre: Let Us Cling Together Square Enix / Książka Twarda
common.buy 129.27 zł
The Atrium Solitaire Parke / Książka Miękka
common.buy 75.82 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo