Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Computer Science Logic

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

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

Language

English

Book Paperback

Libristo code: 05274327

Publishers Springer, Berlin, November 1992

This volume presents the proceedings of the Computer Science Logic Workshop CSL '92, held in Pisa, I... Full description

Libristo code: 05274327

136 b

19 902 Ft

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Eleonore von Aquitanien und ihre Nachkommen Jennifer A.

Paperback

5 597 Ft

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

Hardback

6 961 Ft

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

Audio CD

5 509 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.