Информация об источнике и использовании

Вы получаете доступ к этому произведению через его запись в Internet Archive. NiceBooksReads предоставляет доступ к источнику и интерфейс для чтения и прослушивания.

Права на произведение и запись принадлежат соответствующим правообладателям. Ознакомьтесь с лицензией и условиями доступа и использования в записи источника. Это уведомление не предоставляет дополнительных прав на использование или повторную публикацию.

English

A machine program for theorem-proving

Martin Davis George Logemann Donald Loveland

13 p. 28 cm

Войдите в бесплатную учётную запись, чтобы читать, скачивать EPUB или слушать.

Читать онлайн →EPUB ↓

Цифровые издания

EPUB ↓

Найти другие издания →