Logical Foundations of Computer Science

Name: Logical Foundations of Computer Science
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540727323
Price: 214.72 PLN
Availability: InStock

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

Autor: Sergei Artemov, Anil Nerode

Język:

Oprawa: Miękka

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

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

214.72 zł

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

Informacje o książce

Autor

Sergei Artemov, Anil Nerode

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2007

strony

516

EAN

9783540727323

ISBN

3540727329

Enbook ID

01568629

Wydawca

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Waga

778

Wymiary

155 x 234 x 31

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Logical Foundations of Computer Science

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

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również