Author books / Книги автора Manfred Kerber (Editor),Michael Kohlhase (Editor) » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Manfred Kerber (Editor),Michael Kohlhase (Editor)

book Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium

Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium

pdf

Author: Manfred Kerber (Editor), Michael Kohlhase (Editor)
Year: 2001

00

07.02.2024

0

0