gefundene Verfasser Rothgang, Colin

1. 1
   

   Automated theorem proving for dependent typed theories via a translation to higher-order logic von Rothgang, Colin

   Veröffentlicht 2023

   Signatur: Wird geladen …
   Standort: Wird geladen …

   kostenfrei
   

   Abschlussarbeit Elektronisch E-Book

   In die Zwischenablage Aus der Zwischenablage entfernen
   Zu den Favoriten
   

   Gespeichert in: