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

DPD courier 4.99 € GLS courier 11.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Computer Science Logic (CSL '99)

Name: Computer Science Logic (CSL '99)
Brand: Springer, Berlin
SKU: 05275019
Price: 58.57 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

141 b

58.57 €

Low in stock at our supplier Shipping in 11-15 days

30-day return policy

Customers also purchased

Szczęśliwy piesek Tom Justyniarski

Paperback

3.23 €

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

Paperback

14.99 €

Homerische Dichtung Georg Finsler

Paperback

25.63 €

Bienen von Malia Verena Appenzeller

Paperback

9.92 €

Milujem knihy Mariajo Ilustrajo

Hardback

11.75 €

Elena. La vittoria più grande Nele Neuhaus

Hardback

17.22 €

Tao Romero Martí

Paperback

17.93 €

Marketing-Management mit Multimedia Dietmar H. Fink

Paperback

78.94 €

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

Paperback

35.06 €

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

Paperback

19.85 €

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

Paperback

25.83 €

On a volé la valise d'Arthur Calamand

Paperback

21.78 €

Mezi řádky Leviatan Mike Carey

Paperback

13.06 €

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

Paperback

29.18 €

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

Paperback

45.49 €

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

Paperback

13.67 €

Temporary Title 19991103 François Duchesneau

Hardback

114.71 €

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).