Тема, жанр, tags: Automatic theorem proving -- Congresses,Logic Symbolic and mathematical -- Congresses,Automatic theo » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Automatic theorem proving -- Congresses,Logic Symbolic and mathematical -- Congresses,Automatic theo

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