Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2016An introduction to mechanized reasoning
Kerber, M.; Lange, C.; Rowat, C.
Zeitschriftenaufsatz
2015Sound auction specification and implementation
Caminati, M.B.; Kerber, M.; Lange, C.; Rowat, C.
Konferenzbeitrag
2014Foreword. Mathematics in Computer Science
Kerber, M.; Lange, C.; Rowat, C.
Zeitschriftenaufsatz
2014Reasoning about Auctions
Caminati, Marco B.; Kerber, Manfred; Lange, Christoph; Rowat, Colin
Konferenzbeitrag
2014Set theory or higher order logic to represent auction concepts in Isabelle?
Caminati, Marco B.; Kerber, Manfred; Lange, Christoph; Rowat, Colin
Konferenzbeitrag