Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Computer Science Logic

Name: Computer Science Logic
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01656468
Price: 22826 HUF
Availability: InStock
Author: Anuj Dawar
ISBN: 9783642152047

24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings

Anuj Dawar

Helmut Veith

Language

English

Book Paperback

Libristo code: 01656468

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, August 2010

This volume constitutes the refereed proceedings of the 24th International Workshop on Computer Scie... Full description

Libristo code: 01656468

152 b

22 826 Ft

Low in stock at our supplier Shipping in 14-21 days

Up to 30 days for returns

Customers also purchased

Romancero General O Coleccion De Romances Castellanos Anteriores Al Siglo Xviii... Duran

Paperback

12 756 Ft

Was man von hier aus sehen kann Aron Lehmann

Blu-ray

5 814 Ft

Actual Life 3 (January 1-September 9 2022) Fred Again..

Audio CD

9 453 Ft

Entwicklung und Einreichung von Orphan-/Generika-Medikamenten und APIs: Regulatorische Erfordernisse Surabhi Shrivastav

Paperback

21 594 Ft

Entwicklung des Angebots von Sendungen über die Geschichte des 20. Jahrhunderts Sigrun Lehnert

Paperback

21 788 Ft

Ich habe deine Tranen gesehen Frank Feldhusen

Paperback

4 976 Ft

Pietr-Le-Letton Georges Simenon

Paperback

2 644 Ft

New York City-Kalender 2020: Manhattan Terminkalender-Jahresplaner-A5 Format New York Publishing

Paperback

4 194 Ft

Die Regenbogenkinder von Fabelhausen Markus Sharanius Etter

Paperback

8 714 Ft

Emmanuel Levinas zur Einführung Bernhard H. F. Taureck

Paperback

5 724 Ft

Betania : una casa para el amigo : pilares de espiritualidad familiar José Granados García

Paperback

7 240 Ft

La gota de lluvia, Educación Primaria, 1 ciclo Alfredo Gómez Cerdá

Paperback

4 118 Ft

Demenz und Demografischer Wandel - Herausforderungen fur den Gesundheitssektor Valerie Grimm

Paperback

14 216 Ft

Cours de Versions Compose de Traits d'Histoire, Fables, Descriptions (Ed.1868) Sans Auteur

Paperback

7 004 Ft

This volume constitutes the refereed proceedings of the 24th International Workshop on Computer Science Logic, CSL 2010, held in Brno, Czech Republic, in August 2010.§The 33 full papers presented together with 7 invited talks, were carefully reviewed and selected from 103 submissions. Topics covered include automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and games, modal and temporal logic, model checking, decision procedures, logical aspects of computational complexity, finite model theory, computational proof theory, logic programming and constraints, lambda calculus and combinatory logic, categorical logic and topological semantics, domain theory, database theory, specification, extraction and transformation of programs, logical foundations of programming paradigms, verification and program analysis, linear logic, higher-order logic, and nonmonotonic reasoning.