Sign in

Synthetic Undecidability and Incompleteness of First-Order Axiom Systems in Coq.

Dominik KirstMarc Hermes
Published in: J. Autom. Reason. (2023)
Keyphrases
  • real world
  • expert systems
  • management system
  • higher order
  • case study
  • information retrieval systems
  • intelligent systems
  • incomplete information
  • formal methods