- Experimenting with Machine Learning in Automated Theorem Proving1999 | Matematicko-fyzikální fakulta
- Automatické dokazování vět v teorii grup2008 | Matematicko-fyzikální fakulta
- Dokazování elektronickými důkazními prostředky v občanskoprávním řízení2019 | Právnická fakulta
- Preliminary Results From a Questionnaire About Teachers' Reasoning And Proving2023 | Pedagogická fakulta
- Dokazování příčinné souvislosti a proporcionální odpovědnost za škodu2010 | Právnická fakulta
- Prokazování původu majetku a daňové trestné činy : komentář k zákonu č. 321/2016 Sb., charakteristika daňových prvků a pojmů normy, předchozí legislativní iniciativy, daňové trestné činy2017 | Právnická fakulta
- Externí zdroje axiomů pro automatické dokazování vět2009 | Matematicko-fyzikální fakulta
- Zpráva z mezinárodní vědecké konference Dokazování v trestním řízení v kontextu práva na spravedlivý proces2018 | Právnická fakulta
- Ve kterých oblastech matematiky učitelé zařazují úlohy na argumentaci a dokazování2022 | Pedagogická fakulta
- Automatické dokazování v teorii kvazigrup a lup2010 | Matematicko-fyzikální fakulta
- Nezávislost axiomů v neklasických logikách a automatické dokazování větPublikace bez příslušnosti k fakultě
- Mathematics teachers' uses of resources in the context of teaching reasoning-and-proving: Insights from a cross-national study2023 | Pedagogická fakulta
- Daňová kontrola a právo daňového subjektu klást svědkům a znalcům otázky v rámci dokazování svých práv a povinností2012 | Matematicko-fyzikální fakulta, Právnická fakulta
- Místo důkazu ve školské matematice2016 | Matematicko-fyzikální fakulta
- § 245: Padělání a pozměnění předmětů k označení zboží pro daňové účely a předmětů dokazujících splnění poplatkové povinnosti2010 | Právnická fakulta
- Jako pomocí simulací dokázat nemožné1998 | Matematicko-fyzikální fakulta
- Několik poznámek (nejen) k návrhu zákona o prokazování majetku2015 | Právnická fakulta
- Proving yourself worthy in the riddarasögur - why, of what and of whom2016 | Filozofická fakulta
- Automatické dokazování vět v teorii čísel2008 | Matematicko-fyzikální fakulta
- Experimenty se strojovým učením v automatickém dokazování vět1999 | Publikace bez příslušnosti k fakultě
- Nová kohortová studie neprokazuje horší gastrointertinální toleranci piroxikamu.2008 | 1. lékařská fakulta
- První bezpečně prokázaný předvariský monazit v moldanubiku2010 | Přírodovědecká fakulta
- Dokazování pravosti či nepravosti listiny a podpisu2010 | Právnická fakulta
- Nově zjištěné druhy vážek (Odonata) pro Podblanicko2010 | Pedagogická fakulta
- Pracovní úraz a nemoc z povolání z praktického úhlu pohledu prokazování jejích příčin2018 | Právnická fakulta
- Praktické problémy dokazování vad právních jednání v pracovněprávních vztazích2019 | Právnická fakulta
- Okrelizumab cílící na B lymfocyty prokázal své nezastupitelné místo v léčbě nemocných s RS2018 | Lékařská fakulta v Hradci Králové
- Burza nápadů aneb co se osvědčilo vašim kolegům - lezecká průprava1999 | Fakulta tělesné výchovy a sportu
- Experimenting with Machine Learning in Automated Theorem ProvingPublikace bez příslušnosti k fakultě
- Je Markova priorita vážně tak zřejmá?2021 | Husitská teologická fakulta