ISO-690 (author-date, English)

JINTING BIAN, orcid:0000-0001-9677-, HANS-DIETER A. HIEP, FRANK S. DE BOER und STIJN DE GOUW, 2021. Integrating ADTs in Ke Y and their Application to History-based Reasoning: Proof Files. Zenodo.

Elsevier - Harvard (with titles)

Jinting Bian, orcid:0000-0001-9677-, Hans-Dieter A. Hiep, Frank S. de Boer, Stijn de Gouw, 2021. Integrating ADTs in Ke Y and their Application to History-based Reasoning: Proof Files. Zenodo. https://doi.org/10.5281/zenodo.4744269

American Psychological Association 7th edition

Jinting Bian, orcid:0000-0001-9677-, Hans-Dieter A. Hiep, Frank S. de Boer, & Stijn de Gouw. (2021). Integrating ADTs in Ke Y and their Application to History-based Reasoning: Proof Files. Zenodo. https://doi.org/10.5281/zenodo.4744269

Springer - Basic (author-date)

Jinting Bian, orcid:0000-0001-9677-, Hans-Dieter A. Hiep, Frank S. de Boer, Stijn de Gouw (2021) Integrating ADTs in Ke Y and their Application to History-based Reasoning: Proof Files. Zenodo

Juristische Zitierweise (Stüber) (Deutsch)

Jinting Bian/ orcid:0000-0001-9677-/ Hans-Dieter A. Hiep/ Frank S. de Boer/ Stijn de Gouw, Integrating ADTs in Ke Y and their Application to History-based Reasoning: Proof Files, 2021.

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