Verfasser Suchresultate :: Subito Katalog

1

Practical Proof Search for Coq by Type Inhabitation

von Czajka, Lukasz
Veröffentlicht in IJCAR (10. : 2020 : Online) Automated reasoning ; Part 2 (2020)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: