Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings

Sergei Artemov · Anil Nerode

jun. de 2007 · Springer

E-book

516

Páginas

As notas e avaliações não são verificadas Saiba mais

Sobre este e-book

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 that address all current aspects of logic in computer science.

Avaliar este e-book

Diga o que você achou

Informações de leitura

Smartphones e tablets

Instale o app Google Play Livros para Android e iPad/iPhone. Ele sincroniza automaticamente com sua conta e permite ler on-line ou off-line, o que você preferir.

Laptops e computadores

Você pode ouvir audiolivros comprados no Google Play usando o navegador da Web do seu computador.

eReaders e outros dispositivos

Para ler em dispositivos de e-ink como os e-readers Kobo, é necessário fazer o download e transferir um arquivo para o aparelho. Siga as instruções detalhadas da Central de Ajuda se quiser transferir arquivos para os e-readers compatíveis.

Denunciar conteúdo ilegal