Back to Results
First PageMeta Content
Logic / Non-classical logic / Metaphysics / Mathematical logic / Cyber-physical system / Modal logic / KeY / Dynamic logic / BL


Formale Systeme II: Theorie SS 2016 Prof. Dr. Bernhard Beckert · Dr. Mattias Ulbrich Slides by courtesy of Andr´e Platzer, CMU
Add to Reading List

Document Date: 2016-05-28 04:48:57

Open Document

File Size: 3,74 MB

Share Result on Facebook