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 Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 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.

Foundations of Equational Logic Programming

Limba englezăengleză
Carte Carte broșată
Carte Foundations of Equational Logic Programming Steffen Hölldobler
Codul Libristo: 01565208
Editura Springer, Berlin
Equations play a vital role in many fields of mathematics, computer science, and artificial intellig... Descrierea completă
? points 92 b
199.84 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

ACTES DEL DESE COLÚLOQUI INTERNACIONAL DE LLENGUA I LITERATU SCH(TM)NBERGER / Carte Carte broșată
common.buy 129.10 lei
Moje první samolepkování Třpytivé stromky / Carte Carte broșată
common.buy 22.22 lei
Escritos esenciales James Martin Martin / Carte Carte broșată
common.buy 118.51 lei
Trinkerinnen und Trinker Oliver Kasermann / E-book Adobe ePub DRM
common.buy 893.39 lei
Les animaux de la forêt Xavier Japiot / Carte Carte broșată
common.buy 92.75 lei
Wertgrundsatze und Leitbilder der deutschen Wirtschaftselite Joachim Krautter / Carte Carte broșată
common.buy 94.72 lei
Ten den 17. listopad 1989 Alžběta Ambrožová / Carte Carte broșată
common.buy 67.30 lei
Livre de coloriage Chevaux, poneys, licornes et Pegase 1 Nick Snels / Carte Carte broșată
common.buy 56.91 lei
Projekt Duplo Bruno Küpper / Carte Carte broșată
common.buy 40.91 lei
Zabibah Wal Malik: An Arabic Novel Saddam Hussein / Carte Carte broșată
common.buy 146.03 lei
Interkulturelle Sensibilitat Und Persoenlichkeitsmerkmale Roland Wern / Carte Carte broșată
common.buy 292.70 lei
Motivace zvenčí je jako smrad Ivo Toman / Carte Carte broșată
common.buy 74.57 lei
niederlandischen Schulen im herzoglichen Museum zu Braunschweig Herman Riegel / Carte Carte broșată
common.buy 173.04 lei
Etude de Patients Victimes d'Agression Consultant Aux Urgences Frederic Enjaume / Carte Carte broșată
common.buy 193.19 lei
Skříňka s démonem Ken Kesey / Carte Copertă tare
common.buy 50.58 lei
Chrany Peter V. Brett / Carte Carte
common.buy 46.94 lei

Equations play a vital role in many fields of mathematics, computer science, and artificial intelligence. Therefore, many proposals have been made to integrate equational, functional, and logic programming. This book presents the foundations of equational logic programming. After generalizing logic programming by augmenting programs with a conditional equational theory, the author defines a unifying framework for logic programming, equation solving, universal unification, and term rewriting. Within this framework many known results are developed. In particular, a presentation of the least model and the fixpoint semantics of equational logic programs is followed by a rigorous proof of the soundness and the strong completeness of various proof techniques: SLDE-resolution, where a universal unification procedure replaces the traditional unification algorithm; linear paramodulation and special forms of it such as rewriting and narrowing; complete sets of transformations for conditional equational theories; and lazy resolution combined with any complete set of inference rules for conditional equational theories.

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 Foundations of Equational Logic Programming
Autor Steffen Hölldobler
Limba engleză
Legare Carte - Carte broșată
Număr pagini 256
EAN 9783540515333
ISBN 354051533X
Codul Libristo 01565208
Editura Springer, Berlin
Greutatea 376
Dimensiuni 170 x 242 x 14

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Artificial intelligence
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

Databases in Networked Information Systems Nadia Bianchi-Berthouze / Carte Carte broșată
common.buy 284.91 lei
Paris-Princeton Lectures on Mathematical Finance 2002 Peter Bank / Carte Carte broșată
common.buy 211.58 lei
Information Security Practice and Experience Ed Dawson / Carte Carte broșată
common.buy 284.91 lei
Algorithmic Aspects in Information and Management ao Ming-Yang / Carte Carte broșată
common.buy 305.89 lei
Life of Napoleon I John Holland Rose / Carte Copertă tare
common.buy 220.20 lei
Baby Stuff Candi Jensen / Carte Carte broșată
common.buy 34.16 lei
Lordy, Lordy, I'm a Gordy Jean Sievert / Carte Carte broșată
common.buy 138.45 lei
The Queerness of Psychoanalysis Myriam Sauer / Carte Carte broșată
common.buy 252.19 lei
Strategic Communication Theory and Practice - The Cocreational Model CARL BOTAN / Carte Carte broșată
common.buy 297.17 lei
Your Kinky Friends NICHOLAS TANEK / Carte Carte broșată
common.buy 85.17 lei
First World Oil War Timothy C. Winegard / E-book Adobe ePub DRM
common.buy 216.56 lei
Sortilege C M Cox / Carte Carte broșată
common.buy 86.72 lei
When Jesus Answers LOREN LOVING / Carte Carte broșată
common.buy 95.86 lei
Battle Line KENNETH TAM / Carte Carte broșată
common.buy 152.89 lei
Mystery of the Golden Scepter Roger K Daneth / Carte Carte broșată
common.buy 51.72 lei
Posttraumatic Stress Disorder: Method Of Neuromental Shift With Digression By Brigita Colic Brigita Colic / Carte Carte broșată
common.buy 121.11 lei
Gravity Gamow George Gamow / Carte Carte broșată
common.buy 77.17 lei
In a relationship with Pole Dance: Today Stefano Amadei / Carte Carte broșată
common.buy 89.73 lei
Zero Point of Jain Astronomy Raja Ram Mohan Roy / Carte Carte broșată
common.buy 56.91 lei
Ec Archives: Saddle Justice Stan Asch / Carte Copertă tare
common.buy 289.38 lei
Business, Capitalism and Corporate Citizenship Malcolm McIntosh / Carte Carte broșată
common.buy 462.22 lei
Top
Identification of Trees & Shrubs in Winter Using Buds and Twigs Bernd Schulz / Carte Copertă tare
common.buy 264.34 lei
Music of the Spheres and the Dance of Death Kathi Meyer-Baer / Carte Copertă tare
common.buy 812.06 lei
Origins of the Cold War 1941-1949 McCauley / Carte Copertă tare
common.buy 1 142.79 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?