Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Preserving Regularity via Logic Programs

Limba englezăengleză
Carte Carte broșată
Carte Preserving Regularity via Logic Programs Friedrich Neurauter
Codul Libristo: 06810920
Editura VDM Verlag Dr. Mueller E.K., mai 2008
This book is concerned with the presentation of a general translation of termrewrite systems to logi... Descrierea completă
? points 131 b
283.56 lei
În depozitul extern Expediem în 9-15 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Tündérek a tajgán Rádai Andrea / Carte Carte broșată
common.buy 39.09 lei
DIE JUNGE MAGD OP. 23/2 CLARINETTE PAUL HINDEMITH Materiale tipărite Note muzicale
common.buy 68.80 lei
Стратегические альянсы & Хьюго Фро Вега Хуерта / Carte Carte broșată
common.buy 198.39 lei
El samurái entrópico: y otros relatos J M Parapo / Carte Carte broșată
common.buy 39.71 lei
Far Kingdoms, The Allan Cole & Chris Bunch Audiobook MP3
common.buy 131.77 lei
O problema da reintegraç?o psicossocial das mulheres violadas Bibyshe Mundjo Takubusoga / Carte Carte broșată
common.buy 163.88 lei
Era Khonshu. Avengers. Tom 7 Jason Aaron / Carte Carte broșată
common.buy 99.24 lei
El Hombre Invisible - The Invisible Man H.G. Wells / Carte Carte broșată
common.buy 96.43 lei
EL FAVOR (SERIE DAVID GURNEY 8) VERDON / Carte Carte broșată
common.buy 72.24 lei
Biodiversité végétale et ethnobotanique du centre-ouest de l'Éthiopie Zemede Asfaw / Carte Carte broșată
common.buy 247.49 lei
Sposób na żałobę. Historie o życiu, śmierci i przetrwaniu Julia Samuel / Carte Copertă tare
common.buy 80.79 lei
Mischa, der Streuner. Von der Straße ins Herz / Carte Copertă tare
common.buy 119.88 lei
Viral-Marketing und Blog-Marketing Stanislaw Schmidt / Carte Carte broșată
common.buy 85.06 lei
Das Ruhrgebiet Wilhelm Dege / Carte Carte broșată
common.buy 293.78 lei
economia de la rehabilitacion Daniel Catalán Matamoros / Carte Carte broșată
common.buy 193.90 lei
Die Stadt Der Zukunft Christa Berger / Carte Carte broșată
common.buy 293.78 lei
L'Adaptation Psychologique Dans La Dystrophie Myotonique Adulte Type 1 Benjamin Gallais / Carte Carte broșată
common.buy 391.26 lei
Aspects de la R gulation de la Kinase Cdc2-Cycline B Marion Peter / Carte Carte broșată
common.buy 292.43 lei
Für Nächte am offenen Fenster 2. 2 CDs Max Goldt / Audio Audio CD
common.buy 102.89 lei
La Barcelona subterránea Mireia Valls Badía / Carte Carte broșată
common.buy 130.93 lei
Promenade archéologique dans les environs de Vientiane Soung / Carte Carte broșată
common.buy 181.29 lei
Exégesis y poesía en la Nueva España Ana Castaño / Carte Carte broșată
common.buy 119.36 lei
Hier! B1. Lehrerhandbuch mit 4 Audio-CDs und Video-DVD Verena Gilmozzi / Carte Carte broșată
common.buy 146.99 lei
Nouveau Choix Des Fables D'Esope (1770) Aesopus / Carte Carte broșată
common.buy 127.18 lei

This book is concerned with the presentation of a general translation of termrewrite systems to logic programs such that basic rewriting derivations become logicdeductions. In particular, this work is a review of a recent research paper on this verysubject written by S. Limet and G. Salzer in which they present an algorithm that implements such a translation scheme for certain classes of term rewrite systems. Basically, their algorithm takes as input a term rewrite systemthat satisfies some syntactical restrictions and a regular tree language, transforms both inputs to logic programs and combines the resulting programsto a single logic program that allows to infer regularity preservation of the original term rewrite system. The transformation of certain term rewrite systems results in so-called cs-programs which were originally studied in the context of constraint systems and tree tuple languages. By applying known results of cs-programs new classes of regularity preserving term rewrite systems are obtained.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Preserving Regularity via Logic Programs
Autor Friedrich Neurauter
Limba engleză
Legare Carte - Carte broșată
Data publicării 2008
Număr pagini 80
EAN 9783639008388
ISBN 3639008383
Codul Libristo 06810920
Editura VDM Verlag Dr. Mueller E.K.
Greutatea 118
Dimensiuni 152 x 229 x 4

Categorii

Mathematics & Science > Mathematics
Computing & Information Technology > Computer science
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Understanding Atrial Fibrillation Luca Mainardi / Carte Carte broșată
common.buy 185.36 lei
Hekate the Goddess of Witchcraft Melissa Smith / Carte Carte broșată
common.buy 72.03 lei
Design of Shipboard Power System Grounding/Earthin g Norbert Doerry / Carte Copertă tare
common.buy 632.82 lei
Top
Black Tarot Kimishka Naidoo / Materiale tipărite Cărți
common.buy 118.11 lei
robbers. A tragedy. Translated from the German of Frederick Schiller. The third edition, corrected and improved. Friedrich Schiller / Carte Carte broșată
common.buy 147.20 lei
KEY TO HUNTER'S INTRODUCTION TO THE CONI JOHN HUNTER / Carte Carte broșată
common.buy 81.83 lei
Crowe's Nest E W Nickerson / Carte Copertă tare
common.buy 144.59 lei
Sometimes Joel Bernard / Carte Carte broșată
common.buy 89.44 lei
Divisional and Other Signs V. Wheeler-Holohan / Carte Copertă tare
common.buy 216.22 lei
Our Skin: A First Conversation About Race Jessica Ralli / Carte Cărți pliante
common.buy 47.11 lei
The Works Of The Late Dr. Benjamin Franklin, In Two Volumes: Life Of Dr. Franklin As Written By Himself. Continuation Of His Life Henry Stueber / Carte Carte broșată
common.buy 116.96 lei
Deserted Cities E. Merwin / Carte Copertă tare
common.buy 187.75 lei
Resin Handbook:How to Select The Mechanical Properties of Proper Resin Wael Al-Tabey / Carte Carte broșată
common.buy 262.51 lei
World Political Marco Polo Wall Map Marco Polo / Materiale tipărite Hartă
common.buy 61.60 lei
Moscow Cipher Scott Mariani / Carte Carte broșată
common.buy 60.56 lei
Project Finance in Theory and Practice Stefano Gatti / Carte Carte broșată
common.buy 560.36 lei
Mortgage Smart: Know BEFORE You Buy Rico Wilson / Carte Carte broșată
common.buy 81.62 lei
SSCP Systems Security Certified Practitioner All-in-One Exam Guide, Third Edition Darril Gibson / Carte Carte broșată
common.buy 348.20 lei
Gal Gadot Kaitlyn Duling / Carte Carte broșată
common.buy 47.11 lei
Let Me Hear a Rhyme Tiffany D. Jackson / Carte Copertă tare
common.buy 87.88 lei
Invest in Watches Marc Montagne / Carte Carte broșată
common.buy 158.04 lei
Easy Job Elizabeth Dale / Carte Carte broșată
common.buy 28.45 lei
Red Emperor C.K. Thompson / Carte Carte broșată
common.buy 70.36 lei
Stem Cells and Human Diseases Rakesh K. Srivastava / Carte Carte broșată
common.buy 1 138.98 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?