ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "temporal resolution"
temporal resolution
Osoba
Předměty
Osoby
Publikace
Studium
RNDr. Martin Suda Ph.D.
Externí akademický pracovník na Matematicko-fyzikální fakulta
7 publikací
Publikace
publication
Labelled Superposition for PLTL
2012 |
Matematicko-fyzikální fakulta
publication
Property Directed Reachability for Automated Planning
2014 |
Matematicko-fyzikální fakulta
publication
A PLTL-Prover Based on Labelled Superposition with Partial Model Guidance
2012 |
Matematicko-fyzikální fakulta
publication
Pokrok v efektivním automatickém uvažovaní se znalostmi o světě
2010 |
Matematicko-fyzikální fakulta
publication
SPASS verze 3.5
2009 |
Matematicko-fyzikální fakulta
publication
Externí zdroje axiomů pro automatické dokazování vět
2009 |
Matematicko-fyzikální fakulta
publication
Zóny relevance pro lambda prohledávání na strnulé desce
2008 |
Matematicko-fyzikální fakulta
Loading network view...