Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

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

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 12.99 zł Punkt DPD 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Logic Program Synthesis and Transformation - Meta-Programming in Logic

Name: Logic Program Synthesis and Transformation - Meta-Programming in Logic
Brand: Springer, Berlin
SKU: 05274447
Price: 219.49 PLN
Availability: InStock
Author: Laurent Fribourg
ISBN: 9783540587927

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

Laurent Fribourg

Franco Turini

Język

Angielski

Książka Miękka

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

Kod Libristo: 05274447

125 b

219.49 zł

Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Le lendemain Vaillant

Twarda

106.72 zł

Edgar Allan Poe. Cinque passi nell'incubo Corrado Roi

Twarda

128.65 zł

L'Homme au passe-montagne Guyotat

Miękka

97.47 zł

Sadistova bible Nicole Cushing

Miękka

39.83 zł

Kopfschmerztagebuch Sebastian Lange

Miękka

24.23 zł

Suomen mestari 2. Suomen kielen oppikirja aikuisille. Учебник Соня Геринг

Miękka

228.24 zł

Enganchados en la droga SANCHEZ

Miękka

16.89 zł

Santé - L'EDD par étude de cas 6 CDRom - Licence Bibliothèque+prêt Project

Digital CD

431.95 zł

Memoires de mode Książka

Miękka

45.96 zł

Histoire 2nde - Livre Élève - Ed. 2019

Twarda

200.18 zł

El selfie del mundo MARCO D'ERAMO

CD Audio

126.74 zł

La Biblia, lee y aprende Sophie Piper

Miękka

104.51 zł

Terrorismo y proceso penal acusatorio Juan-Luis Gómez Colomer

Miękka

262.35 zł

Explora 1 zeszyt ćwiczeń Karolina Hadło

Miękka

39.12 zł

Hombre luna Tomi Ungerer

Miękka

73.02 zł

Modelo de Gestion Balanced Scorecard para mejorar la calidad de servicio de atencion al cliente Christian Martel

Miękka

181.87 zł

Soundwürfel Bauernhof

Zabawka

57.23 zł

Bewußtheit durch Bewegung Moshé Feldenkrais

Miękka

46.57 zł

Programa de capacitaciones al personal de ventas Yadira Betzabeth Baja?a Briones

Miękka

208.02 zł

'Horace' - Wie Corneille anhand der Figur der Camille in einem Richelieu gewidmeten Theaterstuck Staatskritik uben konnte Katharina Krings

Miękka

68.80 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.