MAZÁNEK, M. Automatický theorem prover [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2020.

Posudky

Posudek vedoucího

eVSKP id 129145