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

Sergei Artemov · Anil Nerode

июнь 2007 г. · Springer

Электронная книга

516

Количество страниц

Оценки и отзывы не проверены. Подробнее…

Об электронной книге

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.

Оцените электронную книгу

Поделитесь с нами своим мнением.

Где читать книги

Смартфоны и планшеты

Установите приложение Google Play Книги для Android или iPad/iPhone. Оно синхронизируется с вашим аккаунтом автоматически, и вы сможете читать любимые книги онлайн и офлайн где угодно.

Ноутбуки и настольные компьютеры

Слушайте аудиокниги из Google Play в веб-браузере на компьютере.

Устройства для чтения книг

Чтобы открыть книгу на таком устройстве для чтения, как Kobo, скачайте файл и добавьте его на устройство. Подробные инструкции можно найти в Справочном центре.

Сообщить о незаконном контенте