ℹ️
🇨🇿
Hledání
Hledat publikace relevantní k dotazu "Decision Procedure"
Decision Procedure
Publikace
Předměty
Osoby
Publikace
Studium
publication
Solving SMT Problems with a Costly Decision Procedure by Finding Minimum Satisfying Assignments of Boolean Formulas
2013 |
Matematicko-fyzikální fakulta
publication
Labelled Superposition for PLTL
2012 |
Matematicko-fyzikální fakulta
publication
A PLTL-Prover Based on Labelled Superposition with Partial Model Guidance
2012 |
Matematicko-fyzikální fakulta
publication
Efficient solution of a class of quantified constraints with quantifier prefix exists-forall
2014 |
Matematicko-fyzikální fakulta
publication
Vnitro-institucionální a mezi-institucionální vliv v rozhodování Evropské unie
2008 |
Fakulta sociálních věd
publication
Národní, politický a institucionální vliv v rozhodování Evropské unie
2008 |
Fakulta sociálních věd
publication
Míra stupně federalismu v Evropské Unii
2009 |
Fakulta sociálních věd
publication
O sekventových kalkulech pro intuicionistickou výrokovou logiku
2006 |
Filozofická fakulta
publication
Decision Making Games in the European Union: Evaluation of National and Institutional Influence
2002 |
Fakulta sociálních věd
publication
Příspěvek Lisabonské smlouvy ke zmírnění demokratického deficitu v EU
2010 |
Právnická fakulta, Filozofická fakulta
publication
Seeing Numbers
2011 |
Publikace bez příslušnosti k fakultě
publication
Vidění čísel
2009 |
Publikace bez příslušnosti k fakultě
publication
Stanovení rizika žilního tromboembolizmu a možnosti prevence u psychiatrických nemocných
2008 |
Lékařská fakulta v Hradci Králové
publication
Assessment of risk of venous thromboembolism and its possible prevention in psychiatric patients
2008 |
Lékařská fakulta v Hradci Králové
publication
Stanovení rizika žilního tromboembolizmu a možnosti prevence u psychiatrických nemocných
2008 |
1. lékařská fakulta
publication
Finding Minimum Satisfying Assignments of Boolean Formulas
Publikace bez příslušnosti k fakultě
publication
Finding Minimum Satisfying Assignments of Boolean Formulas
2013 |
Matematicko-fyzikální fakulta
publication
Profesionální bronchiální astma a alergická rinitida v ordinaci praktického lékaře
2010 |
Lékařská fakulta v Hradci Králové
publication
National Parliaments as New Actors in the Decision-making Process at the European Level
2011 |
Matematicko-fyzikální fakulta, Fakulta sociálních věd
publication
Snow avalanche run-out simulations of various events in Carpathian mountain
2010 |
Přírodovědecká fakulta
publication
Function Summarization Modulo Theories
2018 |
Matematicko-fyzikální fakulta
publication
Stratification model based on early postprostatectomy prostate-specific antigen kinetics may help to reduce the risk of overtreatment in candidates for adjuvant radiotherapy
2017 |
2. lékařská fakulta