Thirrd part of an interview with Vladimír Mařík for Radio Universum

0
21328

The third part of an extensive interview with our scientific director Vladimír Mařík has currently been published.

You can listen to the interview in audio form or read it in written form HERE.

Source: Radio Universum

Previous articleSecond part of interview with Vladimír Mařík for Radio Universum
Next articleTheorem prover Vampire, co-developed by Martin Suda, succeeded in the World Championship in Automatic Reasoning