Login / Signup

Integrating ADTs in KeY and their application to history-based reasoning about collection.

Jinting BianHans-Dieter A. HiepFrank S. de BoerStijn de Gouw
Published in: Formal Methods Syst. Des. (2022)
Keyphrases
  • data model
  • decision making
  • general purpose
  • document collections
  • artificial intelligence
  • artificial neural networks
  • fuzzy logic