Zobrazeno 1 - 10
of 40
pro vyhledávání: '"Fürst, Christoph"'
Publikováno v:
EPTCS 267, 2018, pp. 120-139
Education in the practical applications of logic and proving such as the formal specification and verification of computer programs is substantially hampered by the fact that most time and effort that is invested in proving is actually wasted in vain
Externí odkaz:
http://arxiv.org/abs/1803.01472
Autor:
Fürst, Christoph, Levin, Alexander
Publikováno v:
Mathematics in Computer Science; Dec2017, Vol. 11 Issue 3/4, p329-339, 11p
Autor:
Wehner, Christian, Fürst, Gabor, Vaskovich, Tom, Andrukhov, Oleh, Vasak, Christoph, Moritz, Andreas, Rausch-Fan, Xiaohui
Publikováno v:
Clinical Oral Investigations; Jun2023, Vol. 27 Issue 6, p2621-2628, 8p, 2 Color Photographs, 2 Charts, 1 Graph
Autor:
Granada, Miguel Á., Montosa, Pablo
Publikováno v:
Anales del Seminario de Historia de la Filosofía; sep-dic2021, Vol. 38 Issue 3, p525-655, 131p
Publikováno v:
European Journal of Organic Chemistry. Jun2013, Vol. 2013 Issue 12, p2293-2297. 5p.
Autor:
Renner, Michael
Publikováno v:
Mainfränkisches Jahrbuch für Geschichte und Kunst; 2016, Vol. 68, p263-289, 27p
Autor:
Michael Schwartz
Ethnische'Säuberungen'sind die dunkle Kehrseite unserer modernen Demokratisierung und Nationalstaatsbildung. Bereits im 19. Jahrhundert entwickelten sich der Balkan und die außereuropäischen Kolonien zu Lernorten dieser Form von nationaler Problem
Der digitale Wandel in der Editorik schreitet voran. Die erste genuin digitale Edition der'Deutschen Reichstagsakten', jene des Reichstags zu Regensburg 1576, steht nicht allein. Diverse Editionen verschiedener europäischer Ständeversammlungen und
Autor:
Rosamund Johnston
In socialist Eastern Europe, radio simultaneously produced state power and created the conditions for it to be challenged. As the dominant form of media in Czechoslovakia from 1945 until 1969, radio constituted a site of negotiation between Communist
Autor:
Anna Waldschütz
Diese Studie behandelt das Libro de Buen Amor im Horizont der christlichen Theologiegeschichte, wobei der Fokus sowohl auf der neutestamentlichen Exegese und der Patristik als auch auf der abendländischen Begriffsgeschichte von Eros und Agape liegt.