Robert Hoehndorf

FEAS migliora la dimostrazione automatica dei teoremi per le equazioni funzionali utilizzando nuove strategie.

Scopri come DELE migliora il completamento della base di conoscenza con tecniche intelligenti.