In: Euromicro Conference on Digital System Design - Proceedings. Euromicro Conference on Digital System Design (DSD-14), August 27-29, Verona, Italy, …
Fritjof Bornebusch; Glaucia Cancino; Melanie Diepenbeck; Rolf Drechsler; Smith Djomkam; Alvine Fanseu; Maryam Jalali; Marc Michael; Jamal Mohsen; Max Nitze; Christina Plump; Mathias Soeken; Fred Tchambo; Toni Ziegler; Henning Ziegler
In: International Workshop on Boolean Problems - Proceedings. International Workshop on Boolean Problems (IWSBP-14), 11th, September 17-19, Freiberg, …
Christina Di Valentin; Andreas Emrich; Johannes Lahann; Michael Schmidt; Uta Schwertel; Dirk Werth; Peter Loos
In: Proceedings of the International Conference on Knowledge Technologies and Data-driven Business. International Conference on Knowledge Technologies …
In: G. Klein; R. Gamboa (Hrsg.). Interactive Theorem Proving ITP 2014. International Conference on Interactive Theorem Proving (ITP-2014), located at …