Author books / Книги автора Mauricio Ayala-Rincón César A. Muñoz (editors) » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Mauricio Ayala-Rincón César A. Muñoz (editors)

book Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings

Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings

pdf

Author: Mauricio Ayala-Rincón César A. Muñoz (editors)
Language: English
Year: 2017

00

29.01.2024

0

0