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 courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 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: 22264 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 264 Ft

In stock at our supplier Shipping in 9-15 days

30-day return policy

Customers also purchased

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

Paperback

12 442 Ft

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

Paperback

21 062 Ft

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

Paperback

21 265 Ft

Pietr-Le-Letton Georges Simenon

Paperback

2 579 Ft

Ich habe deine Tranen gesehen Frank Feldhusen

Paperback

4 853 Ft

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

Paperback

4 090 Ft

Die Regenbogenkinder von Fabelhausen Markus Sharanius Etter

Paperback

8 513 Ft

Der Bergbau im Bayerischen Wald Fritz Pfaffl

Paperback

5 583 Ft

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

Paperback

5 583 Ft

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

Paperback

7 756 Ft

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

Paperback

7 095 Ft

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

Paperback

4 058 Ft

Demenz und Demografischer Wandel - Herausforderungen fur den Gesundheitssektor Valerie Grimm

Paperback

13 866 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.