Parallel Programming WS 2014/2015 - Slide 17g
Objectives:
Understand the inference rules
In the lecture:
The two statements and their inference rules
are explained.
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 09.10.2014