Publications (149,066)

Making Isabelle Content Accessible in Knowledge Representation Formats

Kohlhase M, Rabe F, Wenzel M (2020)

Conference contribution

Berkmann JC, Herrera Martin AX, Pontremoli C, Zheng K, Bucher CH, Ellinghaus A, Boccaccini AR, et al. (2020)

Journal article

Chareh N, Kiesswetter E, Rappl A, Stehle P, Heseker H, Sieber C, Volkert D (2020)

Journal article

Sommer N, Noack S, Hecker A, Hackstein H, Bein G, Weissmann N, Seeger W, et al. (2020)

Journal article

Wessely A, Heppt M, Kammerbauer C, Steeb T, Kirchner T, Flaig MJ, French LE, et al. (2020)

Journal article

Koch M, Burkovski A, Zulla M, Rosiwal S, Geissdorfer W, Dittmar R, Grobecker-Karl T (2020)

Journal article

Sdanghi G, Canevesi RLS, Celzard A, Thommes M, Fierro V (2020)

Journal article, Review article

Langheinrich M, Wirtz S, Kneis B, Gittler MM, Tyc O, Schierwagen R, Brunner M, et al. (2020)

Journal article

Reuben JR (2020)

Journal article

Bormann HF (2020)

Journal article, Original article

‹ 1 ... 4,031 4,032 4,033 4,034 4,035 ... 14,907 ›