Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Computer Science Logic

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

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

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 05274327

Nakladatelství Springer, Berlin, listopad 1992

This volume presents the proceedings of the Computer Science Logic Workshop CSL '92, held in Pisa, I... Celý popis

Libristo kód: 05274327

118 b

1 182 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Eleonore von Aquitanien und ihre Nachkommen Jennifer A.

Brožovaná

328 Kč

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

Pevná

409 Kč

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

Audio CD

326 Kč

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.