«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Logic Program Synthesis and Transformation - Meta-Programming in Logic

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

Idioma InglésInglés
Libro Tapa blanda
Libro Logic Program Synthesis and Transformation - Meta-Programming in Logic Laurent Fribourg
Código Libristo: 05274447
Editores Springer, Berlin, noviembre 1999
This volume constitutes the combined proceedings of the 4th International Workshops on Logic Program... Descripción completa
? points 139 b
56.59 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Le lendemain Vaillant / Libro Tapa dura
common.buy 25.29 €
Edgar Allan Poe. Cinque passi nell'incubo Corrado Roi / Libro Tapa dura
common.buy 33.69 €
L'Homme au passe-montagne Guyotat / Libro Tapa blanda
common.buy 23.09 €
Sadistova bible Nicole Cushing / Libro Tapa blanda
common.buy 10.49 €
Kopfschmerztagebuch Sebastian Lange / Libro Tapa blanda
common.buy 6.19 €
Suomen mestari 2. Suomen kielen oppikirja aikuisille. Учебник Соня Геринг / Libro Tapa blanda
common.buy 59.09 €
Enganchados en la droga SANCHEZ / Libro Tapa blanda
common.buy 3.79 €
Santé - L'EDD par étude de cas 6 CDRom - Licence Bibliothèque+prêt Project / Digital Digital CD
common.buy 102.29 €
Memoires de mode Libro Tapa blanda
common.buy 10.89 €
Histoire 2nde - Livre Élève - Ed. 2019 / Libro Tapa dura
common.buy 47.49 €
El selfie del mundo MARCO D'ERAMO / Audio CD de audio
common.buy 32.79 €
La Biblia, lee y aprende Sophie Piper / Libro Tapa blanda
common.buy 24.95 €
Terrorismo y proceso penal acusatorio Juan-Luis Gómez Colomer / Libro Tapa blanda
common.buy 59.39 €
Explora 1 zeszyt ćwiczeń Karolina Hadło / Libro Tapa blanda
common.buy 10.09 €
Hombre luna Tomi Ungerer / Libro Tapa blanda
common.buy 16.49 €
Modelo de Gestion Balanced Scorecard para mejorar la calidad de servicio de atencion al cliente Christian Martel / Libro Tapa blanda
common.buy 47.29 €
Soundwürfel Bauernhof / Juego/Juguete Juguete
common.buy 14.89 €
Bewußtheit durch Bewegung Moshé Feldenkrais / Libro Tapa blanda
common.buy 12.09 €
Programa de capacitaciones al personal de ventas Yadira Betzabeth Baja?a Briones / Libro Tapa blanda
common.buy 54.09 €
'Horace' - Wie Corneille anhand der Figur der Camille in einem Richelieu gewidmeten Theaterstuck Staatskritik uben konnte Katharina Krings / Libro Tapa blanda
common.buy 17.89 €

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.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Logic Program Synthesis and Transformation - Meta-Programming in Logic
Autor Laurent Fribourg, Franco Turini
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2000
Número de páginas 458
EAN 9783540587927
ISBN 3540587926
Código Libristo 05274447
Editores Springer, Berlin
Peso 602
Dimensiones 156 x 234 x 23

Categorías

Tecnología, ingeniería, agricultura, procedimientos industriales > Ingeniería electrónica y de las comunicaciones > Ingeniería electrónica > Ingeniería de control automático > Robótica
Computación e informática > Programación informática/desarrollo de software > Compiladores e intérpretes
Computación e informática > Programación informática/desarrollo de software > Programación orientada a objetos (POO)
Computación e informática > Programación informática/desarrollo de software > Lenguajes de programación y extensión/scripting: general
Computación e informática > Ciencias de la computación > Teoría matemática de la computación
Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
Computación e informática > Ciencias de la computación > Inteligencia artificial
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Kawasaki Vulcan 700 (1985), Vulcan 750 (85-06), Vulcan 800 (95-05), Vulcan 800 Classic (96-02) & Vulcan 600 Drifter (99-06) Haynes Publishing / Libro Tapa blanda
common.buy 43.99 €
Ecology of Neotropical Savannas Guillermo Sarmiento / Libro Tapa dura
common.buy 52.29 €
Lipid Oxidation Amy S. Logan / Libro Tapa blanda
common.buy 271.49 €
A LETTER TO THE EDITOR OF THE EDINBURGH EDWARD HERRIES / Libro Tapa dura
common.buy 30.79 €
Naked Truth J R Farrell / Libro Tapa blanda
common.buy 23.79 €
Learn With Universal Mind (Chinese 2): Communicate From The Inside Out, with Full Access to Online Interactive Lessons Helen Xinui Zhu / Libro Tapa blanda
common.buy 44.39 €
Fire in her eyes. Miss H a B / Libro Tapa blanda
common.buy 6.99 €
Bulgarian Picture Book: Bulgarian Pictorial Dictionary (Color and Learn) Wai Cheung / Libro Tapa blanda
common.buy 7.99 €
Walk London Gill Knappett / Libro Tapa blanda
common.buy 8.59 €
Man-Eater Ryan Green / Libro Tapa blanda
common.buy 12.59 €
Arise and Go Now: A Short Story James Mulhern / Libro Tapa blanda
common.buy 6.49 €
Piquet And Rubicon Piquet (1891) Berkeley / Libro Tapa blanda
common.buy 20.99 €
JOSEF HOFFMANN 1870-1956: Progress Through Beauty Matthias Boeckl / Libro Tapa dura
common.buy 71.39 €
Last Human Lee Bacon / Libro Tapa blanda
common.buy 10.39 €
KRONOS per ottavino, trombone e pianoforte ENRICO RENNA / Libro Tapa blanda
common.buy 11.19 €
The Art of Tactics Ogre: Let Us Cling Together Square Enix / Libro Tapa dura
common.buy 31.49 €
The Atrium Solitaire Parke / Libro Tapa blanda
common.buy 18.19 €
Selected Writings of Cesar Vallejo Cesar Vallejo / Libro Tapa dura
common.buy 38.99 €
Paris Review Interviews: Vol. 1 Philip Gourevitch / Libro Tapa blanda
common.buy 17.29 €
Knowledge of the Higher Worlds Rudolf Steiner / Libro Tapa blanda
common.buy 14.29 €
Journey Back Houston A. Baker / Libro Tapa blanda
common.buy 36.69 €
Vitae Parallelae, Vol. III, F CB Plutarchus / Libro Libro
common.buy 135.59 €
Not on This Board You Don't Arthur C. Frantzreb / Libro Tapa dura
common.buy 38.99 €
Numerical Analysis Richard L Burden / Libro Tapa dura
common.buy 136.09 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?