Your Waterstones card is changing, introducing...
TELL ME MORE
Computer Science Logic: 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September - Lecture Notes in Computer Science 2471 (Paperback)
  • Computer Science Logic: 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September - Lecture Notes in Computer Science 2471 (Paperback)
zoom

Computer Science Logic: 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September - Lecture Notes in Computer Science 2471 (Paperback)

(editor)
£103.50
Paperback 628 Pages / Published: 09/09/2002
  • We can order this

Usually despatched within 3 weeks

  • This item has been added to your basket
The Annual Conference of the European Association for Computer Science Logic, CSL 2002, was held in the Old College of the University of Edinburgh on 22-25 September 2002. The conference series started as a programme of Int- national Workshops on Computer Science Logic, and then in its sixth meeting became the Annual Conference of the EACSL. This conference was the sixteenth meeting and eleventh EACSL conference; it was organized by the Laboratory for Foundations of Computer Science at the University of Edinburgh. The CSL 2002 Programme Committee considered 111 submissions from 28 countries during a two week electronic discussion; each paper was refereed by at least three reviewers. The Committee selected 37 papers for presentation at the conference and publication in these proceedings. The Programme Committee invited lectures from Susumu Hayashi, Frank Neven, and Damian Niwinski; ' the papers provided by the invited speakers appear at the front of this volume. In addition to the main conference, two tutorials - `Introduction to Mu- Calculi' (Julian Brad?eld) and `Parametrized Complexity' (Martin Grohe) - were given on the previous day.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540442400
Number of pages: 628
Weight: 1950 g
Dimensions: 235 x 155 x 32 mm
Edition: 2002 ed.

You may also be interested in...

Data Analysis with Open Source Tools
Added to basket
The Lattice Boltzmann Equation
Added to basket
Bayesian Methods for Hackers
Added to basket
How to Think About Algorithms
Added to basket
The Elements of Statistical Learning
Added to basket
The End of Error
Added to basket
The Algorithm Design Manual
Added to basket
£55.07
Mixed media product
MATLAB Demystified
Added to basket
£21.99
Paperback
The Art of Computer Programming
Added to basket
Concrete Mathematics
Added to basket
Networks
Added to basket
£52.00
Hardback
A First Course in Coding Theory
Added to basket
Foundation Mathematics
Added to basket
Discrete Mathematics
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.