Suchergebnisse für 'boolean'

2 Clips gefunden

InvasIC_Seminar-n_thumb.png
Frei
Kolloquium
2017-03-17
... This talk presents a game-theoretic semantics of boolean logic defining the constructive ...