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

Logical Foundations of Computer Science

Name: Logical Foundations of Computer Science
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01568629
Price: 20339 HUF
Availability: InStock
Author: Sergei Artemov
ISBN: 9783540727323

International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings

Sergei Artemov

Anil Nerode

Language

English

Book Paperback

Libristo code: 01568629

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, May 2007

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations... Full description

Libristo code: 01568629

136 b

20 339 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Le chant de l'éternité - les paroles qui guérissent Aïssel Book

Paperback

7 076 Ft

Michael Douglas Marc Eliot

Hardback

2 622 Ft

Aladdin (Arabe) (Aladdin) DISNEY Book

binding.

6 008 Ft

Option Ausland Malbuch

Paperback

3 238 Ft

Contribution A La Chirurgie Oncoplastique Du Sein Nizet Jean-Luc

Paperback

20 820 Ft

Deadpool Samurai (Manga) Hikaru Uesugi

Paperback

3 507 Ft

Histoire Du Gouvernement Parlementaire En France: 1814-1848 T 9 Duvergier De Hauranne-P

Paperback

13 819 Ft

Hogyan eljunk ugy, mint a kis herceg Stephane Garnier

Adobe ePub DRM

2 472 Ft

Amour Intemporel Roberto Mendoza Zepeda

Adobe ePub DRM

1 678 Ft

Hotel Bellavista y otros cuentos del mar Badran

MP3

2 023 Ft

Яблуко. Базовий рiвень. Робочий зошит / Yabluko Intermediate Ukrainian. Workbook Mariana Burak

Paperback

19 500 Ft

Cando petan na porta pola noite XABIER P. DOCAMPO

Paperback

5 546 Ft

Filipika proti redukcionizmu Pavel Holländer

Paperback

2 771 Ft

Lire De la démocratie en Amérique d'Alexis de Tocqueville - Pour une sociologie de la démocratie Keslassy

Paperback

5 353 Ft

Féodalités (888-1180) Mazel

Paperback

12 513 Ft

La fiscalité - repères pratiques N52 2014 Georges Sauvageot

Paperback

5 546 Ft

LES CINQ DIAMANTS DU DIABLE Caradec

Paperback

6 684 Ft

O cultivo da canola no estado do Rio Grande do Sul Fortes Teixeira Carlos Eugenio

Paperback

70 307 Ft

SpongeBob Schwammkopf, Der Film, 1 DVD, dtsch., engl. u. holländ. Version Stephen Hillenburg

DVD

5 128 Ft

Freiheitsrechtliche Grenzen der Steuer- und Sozialabgabenlast Hermann Butzer

Paperback

30 727 Ft

So sexy ist Niedersachsen! Band 1 Alexandra

Paperback

3 625 Ft

BABADADA, Espanol de America Latina - Ikirundi, diccionario visual - kazinduzi y ibicapo Babadada Gmbh

Paperback

11 406 Ft

L'Amour s'En Va En Guerre... Jezabella Michel Severin

Paperback

5 979 Ft

Ist das Heil verlierbar? Zur Frage der Heilsgewissheit in den lutherischen und reformierten Bekenntnisschriften René Debus

Paperback

6 415 Ft

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2007, held in New York, NY, USA in June 2007.§The volume presents 36 revised refereed papers carefully selected by the program committee. All current aspects of logic in computer science are addressed, including constructive mathematics and type theory, logical foundations of programming, logical aspects of computational complexity, logic programming and constraints, automated deduction and interactive theorem proving, logical methods in protocol and program verification and in program specification and extraction, domain theory logics, logical foundations of database theory, equational logic and term rewriting, lambda and combinatory calculi, categorical logic and topological semantics, linear logic, epistemic and temporal logics, intelligent and multiple agent system logics, logics of proof and justification, nonmonotonic reasoning, logic in game theory and social software, logic of hybrid systems, distributed system logics, system design logics, as well as other logics in computer science.