Sergei Artemov & Anil Nerode 
Logical Foundations of Computer Science [PDF ebook] 
International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings

Apoio

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 pr...

leia mais
€57.94
Métodos de Pagamento
Compre este e-book e ganhe mais 1 GRÁTIS!
Língua Inglês ● Formato PDF ● ISBN 9783540926870 ● Editor Sergei Artemov & Anil Nerode ● Editora Springer Berlin Heidelberg ● Publicado 2009 ● Carregável 6 vezes ● Moeda EUR ● ID 2164889 ● Proteção contra cópia Adobe DRM
Requer um leitor de ebook capaz de DRM

Mais ebooks do mesmo autor(es) / Editor

49.720 Ebooks nesta categoria