Free delivery for orders over 69.99 euro.

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 €

DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro.

Computer Science Logic (CSL '99)

Name: Computer Science Logic (CSL '99)
Brand: Springer, Berlin
SKU: 05275019
Price: 51.65 EUR
Availability: InStock
Author: Jörg Flum
ISBN: 9783540665366

13th International Workshop, CSL '99, Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999. Proceedings

Jörg Flum

Mario Rodriguez-Artalejo

Language

English

Book Paperback

Libristo code: 05275019

Publishers Springer, Berlin, November 1998

The 1999 Annual Conference of the European Association for Computer Science Logic, CSL 99, was held... Full description

Libristo code: 05275019

125 b

51.65 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Temporary Title 19991103 François Duchesneau

Hardback

102.90 €

Marketing-Management mit Multimedia Dietmar H. Fink

Paperback

67.42 €

Bienen von Malia Verena Appenzeller

Paperback

9.90 €

Milujem knihy Mariajo Ilustrajo

Hardback

11.72 €

Homerische Dichtung Georg Finsler

Paperback

17.88 €

Quatrieme Discours. Un Vieux Republicain Aux Francais Qui Sentent Les Noms de Patrie Et de Liberte Dubroca-L

Paperback

13.13 €

Szczęśliwy piesek Tom Justyniarski

Paperback

2.92 €

Notizbuch, Bullet Journal, Journal, Planer, Tagebuch "Forever Moonchild" Christin Scharte

Paperback

14.95 €

Elena. La vittoria più grande Nele Neuhaus

Hardback

25.16 €

Tao Romero Martí

Paperback

16.06 €

Las Brigadas Internacionales: nuevas perspectivas en la historia de la Guerra Civil y del exilio

Paperback

31.63 €

Netzwerk neu B1. Übungsbuch mit Audios Tanja Mayr-Sieber

Paperback

20.82 €

QGIS 3.14. Tworzenie i analiza map Iwańczak Bartłomiej

Paperback

26.17 €

On a volé la valise d'Arthur Calamand

Paperback

21.52 €

Derecho de obligaciones. Parte general. Teoría general del contrato José Luis . . . [et al. ] Lacruz Berdejo

Paperback

40.83 €

Faust. August Klingemann

Paperback

20.82 €

ECONOMIA DEL GASTO PUBLICO PARA MAYORES DE EDAD Fernández Llera

Paperback

49.22 €

Delassemens de l'Homme Sensible. 2e Serie, T. 6, Parties 11-12 D Arnaud-F-T-M

Paperback

29.11 €

Mezi řádky Leviatan Mike Carey

Paperback

13.03 €

Strategie radzenia sobie z tremą w kształceniu muzycznym oraz w zawodzie muzyka Bissinger-Ćwierz Urszula

Paperback

14.85 €

The 1999 Annual Conference of the European Association for Computer Science Logic, CSL 99, was held in Madrid, Spain, on September 20-25, 1999. CSL 99 was the 13th in a series of annual meetings, originally intended as Internat- nal Workshops on Computer Science Logic, and the 8th to be held as the - nual Conference of the EACSL. The conference was organized by the Computer Science Departments (DSIP and DACYA) at Universidad Complutense in M- rid (UCM). The CSL 99 program committee selected 34 of 91 submitted papers for p- sentation at the conference and publication in this proceedings volume. Each submitted paper was refereed by at least two, and in almost all cases, three di erent referees. The second refereeing round, previously required before a - per was accepted for publication in the proceedings, was dropped following a decision taken by the EACSL membership meeting held during CSL 98 (Brno, Czech Republic, August 25, 1998).