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

Computer Science Logic

Name: Computer Science Logic
Brand: Springer, Berlin
SKU: 05274327
Price: 19818 HUF
Availability: InStock
Author: Egon Börger
ISBN: 9783540569923

6th Workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers

Nyelv

Angol

Könyv Puha kötésű

Libristo kód: 05274327

Kiadó Springer, Berlin, november 1992

This volume presents the proceedings of the Computer Science Logic Workshop CSL '92, held in Pisa, I... Teljes leírás

Libristo kód: 05274327

136 b

19 818 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

Eleonore von Aquitanien und ihre Nachkommen Jennifer A.

Puha kötésű

5 573 Ft

Reis door Nieuw-Grenada en Venezuela De Aarde en haar Volken, 1887 Jules Crevaux

Kemény kötésű

6 931 Ft

Die unendliche Geschichte, Hörspielbox, 3 Audio-CDs Michael Ende

Audio CD

5 486 Ft

This volume presents the proceedings of the Computer Science Logic Workshop CSL '92, held in Pisa, Italy, in September/October 1992. CSL '92 was the sixth of the seriesand the first one held as Annual Conference of the EuropeanAssociation for Computer Science Logic (EACSL). Fullversions of the workshop contributions were collected aftertheir presentation and reviewed. On the basis of 58 reviews,26 papers were selected for publication, and appear here inrevised final form.Topics covered in the volume include: Turing machines,linear logic, logic of proofs, optimization problems, lambdacalculus, fixpoint logic, NP-completeness, resolution,transition system semantics, higher order partial functions,evolving algebras, functional logic programming, inductivedefinability, semantics of C, classes for a functionallanguage, NP-optimization problems, theory of types andnames, sconing and relators, 3-satisfiability, Kleene'sslash, negation-complete logic programs, polynomial-timeoracle machines, and monadic second-order properties.

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 Computer Science Logic

Szerző Egon Börger, Gerhard Jäger, Hans Kleine Büning, Simone Martini, Michael M. Richter

Nyelv

Angol

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

Kiadás éve 1993

Oldalszám 439

EAN 9783540569923

ISBN 3540569928

Libristo kód 05274327

Kiadó Springer, Berlin

Súly 600

Méretek 155 x 233 x 23

Kategória

Matematika és természettudomány > Matematika > Matematika alapjai > Matematikai logika

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

Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Algoritmusok és adatszerkezetek

Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány

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 > Számítógépes építészet és logika tervezés

Számítástechnika és információtechnológia > Operációs rendszerek

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