Lehrstuhl für Informatik 8 (Theoretische Informatik)

Friedrich-Alexander-Universität Erlangen-Nürnberg
Technische Fakultät
Department Informatik
close-button

Types of publications

Journal article
Book chapter / Article in edited volumes
Authored book
Translation
Thesis
Edited Volume
Conference contribution
Other publication type
Unpublished / Preprint

Publication year

From
To

Abstract

Journal

Project abstract: Logic atlas and integrator (LATIN) (2011) Codescu SM, Horozal F, Kohlhase M, Mossakowski T, Rabe F Conference contribution, Original article Formal management of CAD/CAM processes (2009) Kohlhase M, Schröder L Conference contribution, Original article
‹ 1 ... 22 23 24 ›