Verfasser Suchresultate :: Subito Katalog

1

Machine-Learned Premise Selection forLean

von Piotrowski, Bartosz
Veröffentlicht in TABLEAUX (32. : 2023 : Prag) Automated reasoning with analytic tableaux and related methods (2023)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: