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

Contact

How to shop

Help

My account

▸ Empty :-(

Computer Science Logic

Name: Computer Science Logic
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01564793
Price: 102.69 EUR
Availability: InStock
Author: Zoltán Ésik
ISBN: 9783540454588

20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings

Zoltán Ésik

Language

English

Book Paperback

Libristo code: 01564793

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, September 2006

This book constitutes the refereed proceedings of the 20th International Workshop on Computer Scienc... Full description

Libristo code: 01564793

249 b

102.69 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Gangland Chuck Hogan

Paperback

29.05 €

Black Killer, 1 Blu-ray + 1 DVD (Mediabook Cover B) Carlo Croccolo

Blu-ray

36.41 €

Manifeste pour un Islam des lumières Malek Chebel

Paperback

35.60 €

Entre les lignes nouvelle édition Bourdier

Paperback

10.08 €

Microsoft Office 365 Karel Klatovský

Paperback

10.58 €

Psychoanalyse Der Ermachtigung de Sousa Cleuber Cristiano de Sousa

Paperback

35.60 €

Rol' lekarstwennyh traw w farmacewtike Ali Khan

Paperback

17.85 €

Produttivit? nelle industrie manifatturiere grazie alla gestione della conoscenza Prashant Chaudhari

Paperback

62.04 €

El desconocido (Solo una noche 1): Primera entrega de Solo una noche KYRA DAVIS

Paperback

14.92 €

Tajomstvo úspechu troch majstrov Napoleon Hill

Hardback

15.22 €

Conjuguez sans faute

Paperback

5.74 €

Evariste-Desire De Parny, 'Le Paradis Perdu' Ritchie Robertson

Paperback

26.83 €

Adaptaciones cinematográficas de novelas cubanas en el ICAIC Juan Ramón Ferrera Vaillant

Paperback

34.80 €

Ausfuhrliche topographische Beschreibung des Herzogtums Magdeburg und der Grafschaft Mansfeld Johann Ludwig Heineccius

Paperback

31.16 €

La sentencia indeterminada : el sistema de penas determinadas a posteriori Luis Jiménez de Asúa

Paperback

51.34 €

Insolvenzrecht Michael App

Paperback

51.64 €

Un árbol caído Rafael Reig

Paperback

11.09 €

Mapa Oceanía físico edigol ediciones

Paperback

15.73 €

Horrea militaria : el aprovisionamiento de grano al ejército en el Occidente del Imperio Romano Javier Salido Domínguez

Paperback

67.79 €

Ejercicios para mantener el intelecto 1 Anna Puig Alemán

Paperback

21.58 €

Aprende a tocar la batería Peter Gelling

Paperback

32.27 €

Teilhabe-Ontologie und interreligioeser Dialog im Platonismus und Christentum Friedemann Drews

Hardback

163.12 €

This book constitutes the refereed proceedings of the 20th International Workshop on Computer Science Logic, CSL 2006. The book presents 37 revised full papers together with 4 invited contributions, addressing all current aspects of logic in computer science. Coverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and formal logics, modal and temporal logic, model checking, finite model theory, and more.