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

Sergei Artemov · Anil Nerode

jun 2007 · Springer

eBook

516

Páginas

Las valoraciones y las reseñas no se verifican. Más información

Información sobre este eBook

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.

Valorar este eBook

Danos tu opinión.

Información sobre cómo leer

Smartphones y tablets

Instala la aplicación Google Play Libros para Android y iPad/iPhone. Se sincroniza automáticamente con tu cuenta y te permite leer contenido online o sin conexión estés donde estés.

Ordenadores portátiles y de escritorio

Puedes usar el navegador web del ordenador para escuchar audiolibros que hayas comprado en Google Play.

eReaders y otros dispositivos

Para leer en dispositivos de tinta electrónica, como los lectores de libros electrónicos de Kobo, es necesario descargar un archivo y transferirlo al dispositivo. Sigue las instrucciones detalladas del Centro de Ayuda para transferir archivos a lectores de libros electrónicos compatibles.

Denunciar contenido ilegal