Author books / Книги автора Moura Leonardo de » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Moura Leonardo de

book Automated deduction -- CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings

Automated deduction -- CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings

pdf

Author: Moura Leonardo de
Language: English
Year: 2017

00

29.01.2024

0

0