Suchergebnisse - Dubois de Prisque, Louise | OPAC THWS

1

General Automation in Coq through Modular Transformations von Blot, Valentin, Dubois de Prisque, Louise, Keller, Chantal, Vial, Pierre

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Prétraitement compositionnel en Coq von Dubois De Prisque, Louise

Volltext bestellen

Dissertation

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Compositional pre-processing for automated reasoning in dependent type theory von Blot, Valentin, Cousineau, Denis, Crance, Enzo, Louise Dubois de Prisque, Keller, Chantal, Mahboubi, Assia, Vial, Pierre

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

General Automation in Coq through Modular Transformations von Blot, Valentin, Louise Dubois de Prisque, Keller, Chantal, Vial, Pierre

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: