phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 299 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Kurýr GLS 64 Kč Zásilkovna 44 Kč PPL 99 Kč
phone Kontakt phoneJak nakupovat

Logic Program Synthesis and Transformation - Meta-Programming in Logic

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Logic Program Synthesis and Transformation - Meta-Programming in Logic Laurent Fribourg
Libristo kód: 05274447
Nakladatelství Springer, Berlin, listopadu 1999
This volume constitutes the combined proceedings of the 4th International Workshops on Logic Program... Celý popis
? points 147 b
1 472 Kč
Skladem u dodavatele v malém množství Odesíláme za 10-14 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

Numerical Analysis Richard L Burden / Pevná
common.buy 3 152 Kč
Bewußtheit durch Bewegung Moshé Feldenkrais / Brožovaná
common.buy 236 Kč
Not on This Board You Don't Arthur C. Frantzreb / Pevná
common.buy 797 Kč
Modelo de Gestion Balanced Scorecard para mejorar la calidad de servicio de atencion al cliente Christian Martel / Brožovaná
common.buy 1 903 Kč
Vitae Parallelae, Vol. III, F CB Plutarchus / Kniha
common.buy 4 033 Kč
Journey Back Houston A. Baker / Brožovaná
common.buy 892 Kč
Decade 1 JOHN KENNY / Brožovaná
common.buy 436 Kč
Man's Place in Evolution British Museum / Brožovaná
common.buy 340 Kč
Origins of Stars and Planets: The VLT View Joao F. Alves / Brožovaná
common.buy 2 902 Kč
'Horace' - Wie Corneille anhand der Figur der Camille in einem Richelieu gewidmeten Theaterstuck Staatskritik uben konnte Katharina Krings / Brožovaná
common.buy 1 013 Kč
Aspects of class in select plays by Tennessee Williams and their film adaptations Sabine Rohrhofer / Brožovaná
common.buy 1 857 Kč
Soundwürfel Bauernhof / Hračka
common.buy 312 Kč

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.

Informace o knize

Plný název Logic Program Synthesis and Transformation - Meta-Programming in Logic
Autor Laurent Fribourg, Franco Turini
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2000
Počet stran 458
EAN 9783540587927
ISBN 3540587926
Libristo kód 05274447
Nakladatelství Springer, Berlin
Váha 602
Rozměry 156 x 234 x 23

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství > Robotika
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Objektově orientované programování (OOP)
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Informatika > Umělá inteligence
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet