Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

A rendelés állapotának ellenőrzése

Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció

Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén

DPD gyűjtőpont 990 Ft DPD futárszolgálat 1 190 Ft GLS pont 1 190 Ft Magyar Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Magyar Posta 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft GLS futár 1 690 Ft

Kapcsolat

Hogyan vásároljunk

Segítség

Saját fiók

▸ Üres :-(

Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Foundations of Equational Logic Programming

Name: Foundations of Equational Logic Programming
Brand: Springer, Berlin
SKU: 01565208
Price: 13085 HUF
Availability: InStock
Author: Steffen Hölldobler
ISBN: 9783540515333

Steffen Hölldobler

Nyelv

Angol

Könyv Puha kötésű

Libristo kód: 01565208

Kiadó Springer, Berlin

Equations play a vital role in many fields of mathematics, computer science, and artificial intellig... Teljes leírás

Libristo kód: 01565208

88 b

13 085 Ft

Beszállítói készleten Küldés 5-8 napon belül

Akár 30 napos visszaküldési lehetőség

A vásárlók ilyet vásároltak

Moje první samolepkování Třpytivé stromky

Puha kötésű

1 539 Ft

ACTES DEL DESE COLÚLOQUI INTERNACIONAL DE LLENGUA I LITERATU SCH(TM)NBERGER

Puha kötésű

8 056 Ft

Escritos esenciales James Martin Martin

Puha kötésű

7 430 Ft

Trinkerinnen und Trinker Oliver Kasermann

Adobe ePub DRM

65 009 Ft

Les animaux de la forêt Xavier Japiot

Puha kötésű

6 329 Ft

niederlandischen Schulen im herzoglichen Museum zu Braunschweig Herman Riegel

Puha kötésű

11 279 Ft

Ten den 17. listopad 1989 Alžběta Ambrožová

Puha kötésű

4 357 Ft

Livre de coloriage Chevaux, poneys, licornes et Pegase 1 Nick Snels

Puha kötésű

4 028 Ft

Projekt Duplo Bruno Küpper

Puha kötésű

2 654 Ft

Zabibah Wal Malik: An Arabic Novel Saddam Hussein

Puha kötésű

10 356 Ft

Interkulturelle Sensibilitat Und Persoenlichkeitsmerkmale Roland Wern

Puha kötésű

19 160 Ft

Wertgrundsatze und Leitbilder der deutschen Wirtschaftselite Joachim Krautter

Puha kötésű

6 757 Ft

Motivace zvenčí je jako smrad Ivo Toman

Puha kötésű

5 148 Ft

Etude de Patients Victimes d'Agression Consultant Aux Urgences Frederic Enjaume

Puha kötésű

12 591 Ft

Skříňka s démonem Ken Kesey

Kemény kötésű

3 491 Ft

Chrany Peter V. Brett

Könyv

3 237 Ft

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.

Színésznő & Poliglott

EWA KASP részére

A videó lejátszása

A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés Foundations of Equational Logic Programming

Szerző Steffen Hölldobler

Nyelv

Angol

Kötés Könyv - Puha kötésű

Oldalszám 256

EAN 9783540515333

ISBN 354051533X

Libristo kód 01565208

Kiadó Springer, Berlin

Súly 376

Méretek 170 x 242 x 14

Kategória

Technológia, mérnöki tudományok, mezőgazdaság > Elektronikus és kommunikációs gépészet > Villamosmérnöki tudomány > Automata irányítási gépészet > Robotika

Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Fordítóprogramok és értelmezőprogramok (compilers & interpreters)

Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Programozási és szoftveres nyelvek: általános jellegű

Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete

Számítástechnika és információtechnológia > Számítógéptudomány > Mesterséges intelligencia

Ajándékozza oda ezt a könyvet még ma

Nagyon egyszerű

1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére