Applied Logic for Computer Scientists. Computational Deduction and Formal Proofs Mauricio Ayala-Rincón, Flávio L. C. de Moura

Подробная информация о книге «Applied Logic for Computer Scientists. Computational Deduction and Formal Proofs Mauricio Ayala-Rincón, Flávio L. C. de Moura». Сайт не предоставляет возможности читать онлайн или скачать бесплатно книгу «Applied Logic for Computer Scientists. Computational Deduction and Formal Proofs Mauricio Ayala-Rincón, Flávio L. C. de Moura»

Зарегистрироваться на сайте Подробнее

О книге

Книга "Applied Logic for Computer Scientists. Computational Deduction and Formal Proofs".

Полное название книги	Mauricio Ayala-Rincón, Flávio L. C. de Moura Applied Logic for Computer Scientists. Computational Deduction and Formal Proofs
Авторы	Mauricio Ayala-Rincón, Flávio L. C. de Moura
Ключевые слова	компьютерные технологии, разработка и алгоритмы
Категории	Компьютеры и Internet
ISBN	9783319516516
Издательство	Springer Nature Customer Service Center LLC
Год	2017
Название транслитом	applied-logic-for-computer-scientists-computational-deduction-and-formal-proofs-mauricio-ayala-rinc-n-fl-vio-l-c-de-moura
Название с ошибочной раскладкой	applied logic for computer scientists. computational deduction and formal proofs mauricio ayala-rincón-flávio l. c. de moura