Logical Foundations of Computer Science

Name: Logical Foundations of Computer Science
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540926863
Price: 276.6 RON
Availability: InStock

International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings

Autor: Sergei Artemov, Anil Nerode

Limbă:

Legare: Carte broșată

Editura: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

276.60 lei

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

Informații despre carte

Autor

Sergei Artemov, Anil Nerode

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2008

Pagini

469

EAN

9783540926863

ISBN

3540926860

Enbook ID

01571174

Editura

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Greutate

736

Dimensiuni

155 x 27 x 236

Descriere completă

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2009, held in Deerfield Beach, Florida, USA in January 2008.§The volume presents 31 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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Logical Foundations of Computer Science

International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Let's Go: 1: Workbook with Online Practice Pack

The Unraveled Plot

Popcorn Bob Can't Stop Popping

WORLD AFTER THE FALL V07

Della Revoca Degli Atti Fraudolenti (1898)

NO LIMITS

The Conflict of the Ages Story, Vol. V.: The Christian Era Until Victory Is Unanimously Achieved

Land of the Spirit

Global Well-posedness of Nonlinear Parabolic-Hyperbolic Coupled Systems

Esophageal Pain

History and the Christian Historian

Chronicon Abbatiae Ramesiensis a saec. X usque ad an. circiter 1200

British Literary Culture and Publishing Practice, 1880-1914

Literature and Rationality

Clienții care au cumpărat această carte au mai cumpărat și

Ein Vermächtnis

Gagné ! Mon deuxième cahier d'écriture

GESTIÓN DE LA CAPACIDAD HUMANA

Sichtbeton-Mangel

One Piece 33

Zielgruppe Best Ager - Ansatzpunkte zur zielgruppenspezifischen Ausrichtung absatzpolitischer Instrumente im Discountlebensmitteleinzelhandel