Publikace
- Externí zdroje axiomů pro automatické dokazování vět2009 | Matematicko-fyzikální fakulta
- Property Directed Reachability for Automated Planning2014 | Matematicko-fyzikální fakulta
- Labelled Superposition for PLTL2012 | Matematicko-fyzikální fakulta
- A PLTL-Prover Based on Labelled Superposition with Partial Model Guidance2012 | Matematicko-fyzikální fakulta
- Pokrok v efektivním automatickém uvažovaní se znalostmi o světě2010 | Matematicko-fyzikální fakulta
- SPASS verze 3.52009 | Matematicko-fyzikální fakulta
- Zóny relevance pro lambda prohledávání na strnulé desce2008 | Matematicko-fyzikální fakulta
Loading network view...