Verificar estado da encomenda
LIBRISTO
LIBROAMANTO
obrigatório
Esqueceu-se da palavra-passe
Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente
0
Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 €
phone Contacto phoneComo comprar

Logic Program Synthesis and Transformation - Meta-Programming in Logic

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

Língua InglêsInglês
Livro Capa mole
Livro Logic Program Synthesis and Transformation - Meta-Programming in Logic Laurent Fribourg
Código Libristo: 05274447
Editoras Springer, Berlin, novembro 1999
This volume constitutes the combined proceedings of the 4th International Workshops on Logic Program... Descrição completa
? points 111 b
46.02 €
Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Le lendemain Vaillant / Livro Livro de capa dura
common.buy 20.83 €
Edgar Allan Poe. Cinque passi nell'incubo Corrado Roi / Livro Livro de capa dura
common.buy 25.58 €
L'Homme au passe-montagne Guyotat / Livro Capa mole
common.buy 19.01 €
Sadistova bible Nicole Cushing / Livro Capa mole
common.buy 7.78 €
Kopfschmerztagebuch Sebastian Lange / Livro Capa mole
common.buy 5.15 €
Suomen mestari 2. Suomen kielen oppikirja aikuisille. Учебник Соня Геринг / Livro Capa mole
common.buy 50.67 €
Enganchados en la droga SANCHEZ / Livro Capa mole
common.buy 3.23 €
Santé - L'EDD par étude de cas 6 CDRom - Licence Bibliothèque+prêt Project / Digital CD digital
common.buy 83.95 €
Memoires de mode Livro Capa mole
common.buy 8.99 €
Histoire 2nde - Livre Élève - Ed. 2019 / Livro Livro de capa dura
common.buy 38.83 €
El selfie del mundo MARCO D'ERAMO / Áudio CD de áudio
common.buy 26.49 €
La Biblia, lee y aprende Sophie Piper / Livro Capa mole
common.buy 21.84 €
Terrorismo y proceso penal acusatorio Juan-Luis Gómez Colomer / Livro Capa mole
common.buy 50.97 €
Explora 1 zeszyt ćwiczeń Karolina Hadło / Livro Capa mole
common.buy 8.28 €
Hombre luna Tomi Ungerer / Livro Capa mole
common.buy 13.75 €
Modelo de Gestion Balanced Scorecard para mejorar la calidad de servicio de atencion al cliente Christian Martel / Livro Capa mole
common.buy 37.72 €
Soundwürfel Bauernhof / Jogo/brinquedo Brinquedo
common.buy 11.93 €
Bewußtheit durch Bewegung Moshé Feldenkrais / Livro Capa mole
common.buy 9.70 €
Programa de capacitaciones al personal de ventas Yadira Betzabeth Baja?a Briones / Livro Capa mole
common.buy 43.18 €
'Horace' - Wie Corneille anhand der Figur der Camille in einem Richelieu gewidmeten Theaterstuck Staatskritik uben konnte Katharina Krings / Livro Capa mole
common.buy 14.25 €

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.

Atriz & Poliglota
EWA KASP para
Reproduzir vídeo
Ewa Kasp
A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo Logic Program Synthesis and Transformation - Meta-Programming in Logic
Autor Laurent Fribourg, Franco Turini
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2000
Número de páginas 458
EAN 9783540587927
ISBN 3540587926
Código Libristo 05274447
Editoras Springer, Berlin
Peso 602
Dimensões 156 x 234 x 23

Categorias

Tecnologia, Engenharia & Agricultura > Eletrónica & engenharia das comunicações > Engenharia eletrónica > Engenharia de controlos automáticos > Robótica
Informática & tecnologia da informação > Programação & engenharia informática > Compiladores e intérpretes
Informática & tecnologia da informação > Programação & engenharia informática > Programação orientada a objeto (OOP)
Informática & tecnologia da informação > Programação & engenharia informática > Linguagens de programação e escrita: generalidades
Informática & tecnologia da informação > Ciência informática > Teoria matemática da informática
Informática & tecnologia da informação > Ciência informática > Arquitetura informática e conceção lógica
Informática & tecnologia da informação > Ciência informática > Inteligência artificial
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatário

Também pode estar interessado em

Kawasaki Vulcan 700 (1985), Vulcan 750 (85-06), Vulcan 800 (95-05), Vulcan 800 Classic (96-02) & Vulcan 600 Drifter (99-06) Haynes Publishing / Livro Capa mole
common.buy 34.38 €
Ecology of Neotropical Savannas Guillermo Sarmiento / Livro Livro de capa dura
common.buy 42.88 €
Lipid Oxidation Amy S. Logan / Livro Capa mole
common.buy 225.17 €
A LETTER TO THE EDITOR OF THE EDINBURGH EDWARD HERRIES / Livro Livro de capa dura
common.buy 25.38 €
Naked Truth J R Farrell / Livro Capa mole
common.buy 19.41 €
Learn With Universal Mind (Chinese 2): Communicate From The Inside Out, with Full Access to Online Interactive Lessons Helen Xinui Zhu / Livro Capa mole
common.buy 36.20 €
Fire in her eyes. Miss H a B / Livro Capa mole
common.buy 5.76 €
Bulgarian Picture Book: Bulgarian Pictorial Dictionary (Color and Learn) Wai Cheung / Livro Capa mole
common.buy 6.46 €
Walk London Gill Knappett / Livro Capa mole
common.buy 9.20 €
Man-Eater Ryan Green / Livro Capa mole
common.buy 10.31 €
Arise and Go Now: A Short Story James Mulhern / Livro Capa mole
common.buy 5.25 €
Piquet And Rubicon Piquet (1891) Berkeley / Livro Capa mole
common.buy 17.39 €
JOSEF HOFFMANN 1870-1956: Progress Through Beauty Matthias Boeckl / Livro Livro de capa dura
common.buy 57.85 €
Last Human Lee Bacon / Livro Capa mole
common.buy 10.31 €
KRONOS per ottavino, trombone e pianoforte ENRICO RENNA / Livro Capa mole
common.buy 9.30 €
Principal
The Art of Tactics Ogre: Let Us Cling Together Square Enix / Livro Livro de capa dura
common.buy 24.07 €
The Atrium Solitaire Parke / Livro Capa mole
common.buy 14.96 €
Selected Writings of Cesar Vallejo Cesar Vallejo / Livro Livro de capa dura
common.buy 31.96 €
Paris Review Interviews: Vol. 1 Philip Gourevitch / Livro Capa mole
common.buy 13.85 €
Principal
Knowledge of the Higher Worlds Rudolf Steiner / Livro Capa mole
common.buy 11.83 €
Journey Back Houston A. Baker / Livro Capa mole
common.buy 31.15 €
Vitae Parallelae, Vol. III, F CB Plutarchus / Livro Livro
common.buy 111.16 €
Not on This Board You Don't Arthur C. Frantzreb / Livro Livro de capa dura
common.buy 31.55 €
Numerical Analysis Richard L Burden / Livro Livro de capa dura
common.buy 116.73 €

Iniciar sessão

Inicie sessão na sua conta. Não tem uma conta Libristo? Crie uma agora!

 
obrigatório
obrigatório
Esqueceu-se da palavra-passe

Não tem uma conta? Descubra os benefícios de ter uma conta Libristo!

Com uma conta Libristo, terá tudo sob controlo.

Crie uma conta Libristo
Conselheiro de livros Libroamiko
Olá, sou o Libroamiko, posso ajudar?