Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 11.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Logical Foundations of Computer Science

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

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

Sergei Artemov

Anil Nerode

Język

Angielski

Książka Miękka

Kod Libristo: 01568629

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, maj 2007

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations... Cały opis

Kod Libristo: 01568629

125 b

224.25 zł

Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Le chant de l'éternité - les paroles qui guérissent Aïssel Książka

Miękka

84.78 zł

Michael Douglas Marc Eliot

Twarda

31.40 zł

Aladdin (Arabe) (Aladdin) DISNEY Książka

binding.

72.03 zł

Option Ausland Malbuch

Miękka

35.58 zł

Contribution A La Chirurgie Oncoplastique Du Sein Nizet Jean-Luc

Miękka

228.07 zł

Deadpool Samurai (Manga) Hikaru Uesugi

Miękka

38.26 zł

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

Miękka

149.70 zł

Hogyan eljunk ugy, mint a kis herceg Stephane Garnier

Adobe ePub DRM

29.62 zł

Amour Intemporel Roberto Mendoza Zepeda

Adobe ePub DRM

20.05 zł

Hotel Bellavista y otros cuentos del mar Badran

MP3

24.27 zł

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

Miękka

233.58 zł

Cando petan na porta pola noite XABIER P. DOCAMPO

Miękka

66.42 zł

Filipika proti redukcionizmu Pavel Holländer

Miękka

33.20 zł

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

Miękka

58.69 zł

Féodalités (888-1180) Mazel

Miękka

149.90 zł

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

Miękka

66.42 zł

LES CINQ DIAMANTS DU DIABLE Caradec

Miękka

80.06 zł

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

Miękka

770.11 zł

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

DVD

56.88 zł

Freiheitsrechtliche Grenzen der Steuer- und Sozialabgabenlast Hermann Butzer

Miękka

368.14 zł

So sexy ist Niedersachsen! Band 1 Alexandra

Miękka

39.70 zł

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

Miękka

126.42 zł

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

Miękka

66.11 zł

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

Miękka

70.43 zł

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.