03 Mathematical logic and foundations
03Fxx Proof theory and constructive mathematics
03F45 Provability logics and related algebras (e.g., diagonalizable algebras) (1 articles)
- : Automatic detection of urban traffic incidents and supporting decision model for police dispatching based on travel time. (English). Kybernetika, vol. 52 (2016), issue 1, pp. 106-130
Search
Partner of
