Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings - Lecture Notes in Computer Science 3210 (Paperback)
  • Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings - Lecture Notes in Computer Science 3210 (Paperback)
zoom

Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings - Lecture Notes in Computer Science 3210 (Paperback)

(editor)
£90.00
Paperback 522 Pages / Published: 02/09/2004
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
Thisvolumecontainspapersselectedforpresentationatthe2004AnnualConf- enceoftheEuropeanAssociationforComputerScienceLogic,heldonSeptember 20-24, 2004 in Karpacz, Poland. The CSL conference series started as the International Workshops on C- puterScienceLogic,andthen,after?vemeetings,becametheAnnualConference of the European Association for Computer Science Logic. This conference was the 18th meeting, and the 13th EACSL conference. Altogether 99 abstracts were submitted, followed by 88 papers. Each of these paperswasrefereedbyatleastthreereviewers.Then,afteratwo-weekelectronic discussion, the Programme Committee selected 33 papers for presentation at the conference. Apart from the contributed papers, the Committee invited lectures from Albert Atserias, Martin Hyland, Dale Miller, Ken McMillan and Pawel Urzyczyn. WewouldliketothankallPCmembersandthesubrefereesfortheirexcellent work. The electronic PC meeting would not be possible without good software support. We decided to use the GNU CyberChair system, created by Richard van de Stadt, and we are happy with this decision. We also would like to thank Micha l Moskal who installed and ran CyberChair for us. Finally, we would like to thank ToMasz Wierzbicki, who helped with the preparation of this volume. We gratefully acknowledge ?nancial support for the conference received from the Polish Committee for Scienti?c Research, and Wroc law University. July 2004 Jerzy Marcinkowski and Andrzej Tarlecki Organization CSL 2004 was organized by the Institute of Computer Science, Wrocla w University.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540230243
Number of pages: 522
Weight: 1650 g
Dimensions: 235 x 155 x 27 mm
Edition: 2004 ed.

You may also be interested in...

Python For Dummies
Added to basket
£22.99
Paperback
Effective C++
Added to basket
£40.49
Paperback
C Programming Language
Added to basket
The Little Schemer
Added to basket
R Cookbook
Added to basket
£39.99
Paperback
C# 5.0 Pocket Reference
Added to basket
M Is for (Data) Monkey
Added to basket
£28.99
Paperback
Accelerated C++
Added to basket
£36.99
Paperback
C++ Pocket Reference
Added to basket
£15.99
Paperback
Types and Programming Languages
Added to basket
The C++ Programming Language
Added to basket
C++ All-in-One For Dummies
Added to basket
C++ Templates
Added to basket
£59.49
Hardback
The C++ Programming Language
Added to basket
Coding for Beginners in easy steps
Added to basket
C++ For Dummies
Added to basket
£21.99
Paperback

Please sign in to write a review

Your review has been submitted successfully.