Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage
American Psychological Association 6th edition

Blanchette, J., Böhme, S., Fleury, M., Smolka, S., & Steckermeier, A. (2016). Semi-intelligible Isar Proofs from Machine-Generated Proofs. Journal of Automated Reasoning, 56(2), 155-200. https://doi.org/10.1007/s10817-015-9335-3

ISO-690 (author-date, English)

BLANCHETTE, Jasmin, BÖHME, Sascha, FLEURY, Mathias, SMOLKA, Steffen und STECKERMEIER, Albert, 2016. Semi-intelligible Isar Proofs from Machine-Generated Proofs. Journal of Automated Reasoning. 1 Februar 2016. Vol. 56, no. 2, p. 155-200. DOI 10.1007/s10817-015-9335-3.

Modern Language Association 9th edition

Blanchette, J., S. Böhme, M. Fleury, S. Smolka, und A. Steckermeier. „Semi-Intelligible Isar Proofs from Machine-Generated Proofs.“. Journal of Automated Reasoning, Bd. 56, Nr. 2, Februar 2016, S. 155-00, https://doi.org/10.1007/s10817-015-9335-3.

Mohr Siebeck - Recht (Deutsch - Österreich)

Blanchette, Jasmin/Böhme, Sascha/Fleury, Mathias/Smolka, Steffen/Steckermeier, Albert: Semi-intelligible Isar Proofs from Machine-Generated Proofs., Journal of Automated Reasoning 2016, 155-200.

Emerald - Harvard

Blanchette, J., Böhme, S., Fleury, M., Smolka, S. und Steckermeier, A. (2016), „Semi-intelligible Isar Proofs from Machine-Generated Proofs.“, Journal of Automated Reasoning, Vol. 56 No. 2, S. 155-200.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.