Sign in

Measure Construction by Extension in Dependent Type Theory with Application to Integration.

Reynald AffeldtCyril Cohen
Published in: J. Autom. Reason. (2023)
Keyphrases
  • decision support
  • information theory
  • case study
  • data structure
  • search algorithm
  • data sets
  • neural network
  • information systems
  • video sequences
  • application specific