[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1479 || Exploiting parallelism in interactive theorem provers

Напротязі 1-5 хвилин файл буде доставлено на ваш Telegram акаунт.

Увага: переконайтесь, що ви прив'язали свій акаунт до Z-Library Telegram боту.

Напртязі 1-5 хвилин файл буде доставлений на ваш Kindle пристрій.

Примітки: вам необхідно верифікувати кожну книгу, яку Ви надсилаєте на Kindle. Перевірте Вашу електронну скриньку на наявність листів з підтвердженням від Amazon Kindle Support.