Free delivery for orders over 69.99€

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 69.99 €

Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99€

Computer Science Logic

Name: Computer Science Logic
Brand: Springer, Berlin
SKU: 05274407
Price: 54.56 EUR
Availability: InStock
Author: Egon Börger
ISBN: 9783540582779

7th Workshop, CSL '93, Swansea, UK, September 13-17, 1993. Selected Papers

Egon Börger

Yuri Gurevich

Karl Meinke

Language

English

Book Paperback

Libristo code: 05274407

Publishers Springer, Berlin, November 1993

This volume contains the final versions of a collection of papers presented at the Annual Conference... Full description

Libristo code: 05274407

132 b

54.56 €

106.72 лв

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Pixel Art Memo

Game

14.16 € 27.69 лв

Le journal de ma vie Kate Clayborn

Paperback

26.09 € 51.02 лв

Kabala Pro Zacatecniky Michael Laitman

Paperback

19.50 € 38.14 лв

Tiamatin hněv James S. A. Corey

Paperback

18.46 € 36.11 лв

One Piece 109 Eiichiro Oda

Paperback

7.72 € 15.11 лв

L’examen de conscience philosophique Martha

Paperback

16.23 € 31.74 лв

Gouverner le social par le religieux Faure

Paperback

35.73 € 69.89 лв

Diagnostico sobre a gestao dos RSU no Brasil, estudo de caso Rosana Brusamarelo

Paperback

52.90 € 103.47 лв

Analisis del mercado laboral Municipio de Caldas Carlos Mario Burgos Jaramillo

Paperback

37.86 € 74.05 лв

Harakiri - The Masters of Cinema Series Masaki Kobayashi

Blu-ray

15.97 € 31.24 лв

Die Frau des Arztes Brian Moore

Paperback

13.33 € 26.06 лв

Holzhaus am Wasser (Puzzle) Pia Thauwald

Game

35.99 € 70.40 лв

Programació lineal

Paperback

16.70 € 32.66 лв

Agenda Mindenensis dioecesis Carl von Reifitz

Paperback

62.40 € 122.04 лв

Ein europäischer Jurist des 19. Jahrhunderts. Tanja Guddat

Paperback

122.41 € 239.42 лв

Mit K, 1 Audio-CD Kraftklub

Audio CD

18.82 € 36.82 лв

Spuk Ernst Kallmeyer

Paperback

23.75 € 46.46 лв

This volume contains the final versions of a collection of papers presented at the Annual Conference of the European Association for Computer Science Logic, CSL '93, held at Swansea, UK in September 1993.The 21 full papers included were selected from a total of 62 submissions and essentially contribute to the whole area of computer science logic research. They are devoted to such topics as set constraints, lambda calculi, process algebras, program semantics, intuitionistic logics, fixed-point logics, the equivalence problem, Horn clauses, quantifiers, and proof tranformations.