ℹ️
🇬🇧
Search
Search for people relevant for "Satisfiability modulo theories"
Satisfiability modulo theories
Person
Class
Person
Publication
Programmes
Mgr. Jaroslav Svátek Ph.D.
Academic staff at Faculty of Arts
11 publications
48 classes
Publications
publication
Medieval Travel Writing in Czech Lands
2023 |
Faculty of Arts
publication
An Utraquist Priest int the Holy Land: the Latin Version of a Jerusalem Pilgrimage Testimony Written by Martin Křivoústý (1477)
2022 |
Faculty of Arts
publication
The pilgrimage in the Voyages et ambassades of Guillebert de Lannoy
2021 |
Faculty of Arts
publication
Jean de Wavrin, Jean de Stavelot and other Burgundians on the second crusade against the Prague heresy in 1421
2020 |
Faculty of Arts
publication
1432 A Burgundian spy on the Ottomans routes
2019 |
Faculty of Arts
publication
Database of visitors to the Czech Lands
2017 |
Faculty of Arts
publication
Přítomná minulost
2016 |
Faculty of Arts, Faculty of Education, Hussite Theological Faculty, Third Faculty of Medicine
publication
Ideal of the ruler in the travelogue written by Bertrandon de la Broquière
2016 |
Faculty of Arts
publication
Medieval Travelogues from Bohemia: Products of a Society Characterized by its Different Religious Communities?
2015 |
Faculty of Arts
publication
Bohemia in 14th and 15th centuries
2014 |
Faculty of Arts
Load more publications (1)
Classes
class
Seminar to Medieval History
AGL100049 |
Faculty of Arts
class
Seminar to Medieval Czech History
AGLV00037 |
Faculty of Arts
class
Basic Problems of the Study of Medieval History I
AGLV00039 |
Faculty of Arts
class
History and Memory of Pre-modern Prague
AHIST407 |
Faculty of Arts
class
Czech-French Historical Workshop
+8
AHS100541 |
Faculty of Arts
class
Cultural history in late Middle Ages
+6
AHS110330 |
Faculty of Arts
class
Bohemian Medieval Travelogues
+3
AHS444V164 |
Faculty of Arts
class
Czech-French Methodological and Didactic Workshop
+2
AHS444V165 |
Faculty of Arts
class
Czech-French Historical Workshop I
AHS444V190 |
Faculty of Arts
class
Czech-French Historical Workshop II
AHS444V191 |
Faculty of Arts
Load more classes (38)
Loading network view...