Direkt zum Inhalt | Direkt zur Navigation

Sektionen

Termine

Event Kolloquium Informatik: Resolution-based Reasoning for Coalition Logic and Alternating-time Temporal Logic (B 013, von 30.07.2014 16:00 bis 30.07.2014 18:00)
Vortrag im Kolloquium Informatik von Dr. Ullrich Hustadt

Außerdem in diesem Bereich

Collection Aktuell