Paperback in very good condition. From the offices of Bell Northern Europe. Lecture Notes in Computer Science; 702. Minor shelfwear to the cover, with a crease on the rear side. Label on inside front cover; stamp on half title page. The binding is sound with clear content throughout. CM.

Bestandsnummer des Verk�ufers 484868

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel

Computer Science Logic: 6th Workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992: Selected Papers

Verlag

Springer-Verlag, Berlin, Heidelberg, New York

Erscheinungsjahr

1993

Sprache

Englisch

ISBN-10

3540569928

ISBN-13

9783540569923

Einband

Paperback

Zustand

Very Good

Buchtyp

Used

Verk�uferkataloge

�ber diesen Titel

Inhaltsangabe

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 series and the first one held as Annual Conference of the European Association for Computer Science Logic (EACSL). Full versions of the workshop contributions were collected after their presentation and reviewed. On the basis of 58 reviews, 26 papers were selected for publication, and appear here in revised final form. Topics covered in the volume include: Turing machines, linear logic, logic of proofs, optimization problems, lambda calculus, fixpoint logic, NP-completeness, resolution, transition system semantics, higher order partial functions, evolving algebras, functional logic programming, inductive definability, semantics of C, classes for a functional language, NP-optimization problems, theory of types and names, sconing and relators, 3-satisfiability, Kleene's slash, negation-complete logic programs, polynomial-time oracle machines, and monadic second-order properties.

Rese�a del editor

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

To pay by PayPal, just paste this link into your browser: paypal.me/PsychoBabelSkoob PsychoBabel Books in Oxfordshire and Skoob Books in London (Russell Square Tube)are run and owned by Chris Edwards operating as a sole trader. We have bought all our books and take great care with the storage and listing of each one. As well as over 107,000 listings we have nearly 100,000 in our London shop and probably five times as many awaiting attention in the warehouse. We have been selling with a five-star rating continuously sine 2003 on AbeBooks. PsychoBabel and Skoob buy from private individuals and prestigious libraries. We are NOT 'barcoders' but dedicated book lovers, offering an excellent service. We enjoy receiving phone calls and we handle each order individually. We dispatch our orders daily and accommodate customers all over the world. Our wonderful packaging is not charged for. Please email or call with any queries or requests for photos.

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

PsychoBabel & Skoob Books
United Kingdom

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

To pay by PayPal, just paste this link into your browser: paypal.me/PsychoBabelSkoob

PsychoBabel Books in Oxfordshire and Skoob Books in London (Russell Square Tube) are solely owned by Chris Edwards, 1 Churchward, Didcot, Oxfordshire. OX11 7HB. Prompt dispatch on clearance of payment. If any doubt about condition of book in addition to that described please e-mail or call. PsychoBabel & Skoob Books 1 Churchward, Didcot, Oxfordshire. OX11 7HB Telephone 01235 861411 www.psychobabel.co.uk VAT Regi...

Mehr Information

Versandbedingungen

We post every weekday! All shipping quotes are based on fast efficient service with the best possible packaging.
Standard charge is based on average weight of books - about 0.9Kg. Heavy items (over 1.5Kg) may require extra postage depending on destination. We'll e-mail you if necessary.